- problem with not imported constructors fixed by adding compiler flag to use fcy instead of fint
- improved error message for type map
- improved test for good global definitions
- module Meta compilable by prophecy by adding headNormalFormIO to apply functions
- fixed bug with ho-constructors in Transform.curry