Compiler correctness is now generic over base Functor. Yay.
Move everthing over to new lifting mechanism. No longer restricted to stack machines, yay.