Added a desugar module; significantly cleaned System T