let mk_lvar_variable lv t = VarL (lv, t)