~ Add module name wrapper and add name to module.
+ Add datatype definitions.
~ Fix ty parsing.