changes. Including error reporting from the desugar