Lots of new comments in main.rkt
Add a syntax transformer to a-typed-lang