Quotienten, induktive Typen und Quotienten induktive Typen