lift -> var, replace lift overloads with lift2 / 3 (too much trouble for the programmer to figure out type errors)