Test case for recursive types
Merge branch 'typesystem' of https://github.com/Caltoopia/caltoopia into typesystem