converting Pyret AST Exprs back into Racket values, for eventual use
in evaluating them