Mostly finished with th-desugar rollover.

All test cases except HigherOrder compile. There is still some
refactoring I want to do (breaking Single and Promote into smaller
modules), but things are mostly done now.