implement fresh var generation for pretty-printing expressions
implement parser and evaluator
add well-typed and ill-typed examples