The full generation works now, but datatypes are not implemented (yet)