Misc tidyings
TODO: Try to make instances for the Category subclasses, so we don't need separate terminology. Then eliminate dup, jam, etc.
comment: Homomorphic evaluation
tyPSource (TS :* TS)
tweak comment