Moshe Zadka <moshez@math.huji.ac.il>:

Substantial updates to reflect Moshe's Gordon's enhancements to the
module.

Additional changes from Fred to reflect his changes to the module as well.