Handle explicit newtypes in the FlatCurry format
The new frontend compiles a declaration like
newtype X a = X a
by default into the following FlatCurry type declaration:
TypeNew ("Newtype","X") Public [(0,KStar)] (NewCons ("Newtype","X") Public (TVar 0))
Currently, PAKCS uses the
-Odesugar-newtypes flag, which converts such a newtype into a type synonym, to avoid this behavior. To make the FlatCurry representation more uniform across the different compilers (KiCS2, PAKCS, ...), however, it would be nice to have PAKCS handle the explicit representation of newtypes as well.