Prohibit infinite types.
Add a test of a mutually recursive type.
Add a few more infinite type tests
Test the "S" combinator.