Lift mk_abs and mk_comb functions
Lift dest_var and dest_const functions
Lift dest_comb and dest_abs functions
Process type_vars_in_term and variant functions