Added fixity of list data constructor : to wired-in environment, so that it is re-parsed correctly.
Added type annotation in deriving code for class Ord and ensured that Int is in scope.
Corrected generation of export list if original export list is empty. Ensure global info variables (starting with 'a') are also exported.
Changed transformation to never produce a fixity declaration. Unnecessary and would be more complex.