TE_const in expr_to_term
TE_ident in expr_to_term
TE_op in expr_to_term
TE_op in expr_to_term
TE_arrow in expr_to_term
TE_pre in expr_to_term
TE_tuple in expr_to_term