This version combines forward/backard into a type class
(actually two classes) of analysis and transformation.
These type classes will always be expanded away at the client,
so SLPJ may wonder why they exist: it is because the interface
to this module is already very broad, and by overloading the functions 
for forward and backward problems, we cut the cognitive load on the
clients in half.