add translation for parser-level racket expressions, fix numerous bugs