monomials refactored, so only monoID is assigned to each polynomial
moved helper predicates to separate file
added some additional helpers for deleting subtrees
added first two fraction rules
fixed some bugs with AddCommTerms rule
fixed fracCancel and a bug with inheritFrom grounding
added frac mult rule
added fracDiv rule and fixed inheritFrom bug
added auxillary nodes, and several helpers