Sixth preliminary version

Added support for Martin-Löf's J rule to go with the existing support for Paulin-Mohring's J rule; also expanded the lift module a bit more.

Fifth preliminary version

Basic cleanup is all that's here.

Fourth preliminary version

Some minor improvements and a bit of cleaning up.

Third preliminary version

Docs are slowly improving; much better lift module.

Second preliminary version

Some improvements in basic functionality; docs are still very weak.

First preliminary version

Basic functionality is in place, but docs are in short supply and advanced features are nowhere to be seen.