Added frontend support for recursive types. The code generation is broken, but we are putting our hopes to Harald to fix this eventually.