Still doesn't build, but desugaring is farther along
Still broken, but all desugaring functions stubbed out.