Assignment 3_Recursive Typologies