Gave BasicGroup.hpp an `exponent` method with overrides for most of its subclasses
Added some more items to defs.tex
Translated (the important parts of) lattice.hs to Python