ExpressionWorker now assigns types to expressions, including vars, and
annotates the parse tree.