Restored menu and *added* desugared syntax menu item
Moved extra-constructors. Forced origin tracking in desugar rulse. Added unknown reference checks.