Added the original liftToToplevel tests, starting to work them in.
Single test fail is now at the work point.