Cleanup whitespace in desugar
Consistent format of docstrings in resolve-scope
Use annotation instead of manual check in desugar-toplevel-types
Desugar now aborts on incoming s-block
Remove make-message-exception and friends