Moved long arguments into LiftFunctions.h

Simplicity.