Minimal working example

Can now replace liftBase with one implemented using the lower machinery.

Still needs to be tidied up, documented, split into multiple modules,
instances, etc.