Tidied up imports and other warnings
Desugaring. First complete version of frontend.
Add desugaring files