Desugaring module complete, may have some incompatibilities with the current Translator