Move type declarations desugaring into its own module
Work so far on binding groups
More work on mutually recursive values, still not working.
Still more work on mutually recursive functions, still need to fix examples
Fix some examples
Fix some bugs, fix remaining passing examples, still need to fix prelude.
Import data types using import keyword, fix prelude, fix some errors when unifying types across modules.
Foreign imports always refer to functions defined globally
Mutually recursive data types, part 1
Mutually recursive data types, part 2
Merge branch 'bindinggroups'

Conflicts:
	src/Main.hs