added rule for factoring
added a temp file for factor rules that are works in progress
made monom_factor grounding more efficient
changed monom factor rule
further improvements to monomial factor rule
some renaming, and code cleanup on monom factor rule
moved some helpers into eqn_solver
renaming and comment cleanup of mult monomials rule
renaming and commenting factor rule
added factormonom rule
optimizing grounding for distribute rule
reducing grounding of possible(... predicates
_makeTempField(... now grounds more efficiently
minimized grounding of possible(... predicate
final version of factor rules