Init: explores recursive type constructions
Init: still not working