let type_of exp = exp.expr_type