Add some tests of desugar-bodies
Fix desugar-bodies
Fix desugar-bodies to work recursively, add tests for recursive cases
Fix desugar-bindings to work recursively and add tests