Allow defining recursive types

[thufschmitt]

Recursive types are currently impossible to define. This will quickly become limiting (especially since they are needed to define list types)