Fixed typo
Fixes to make the code annotations compatible
Another annotation related bug fixed
Disable desugaring for now

There are still issues with the typing rules.