Performance boost by caching the forms a dob unifies against and vice versa; Pool now will record vars it sees in rules; minor code unification;
Moving and coalescing tests.
Keeping all forms in the fortre.
Refactoring applyBodyExpansion.
Adding some Cartesian tests.