changed simp0 rule to use PolyRule class
changed simp2 and simp5 to use PolyRule class
modified simp1 to use EqnRule
added EqnRule objects for simp3 and simp4
added EqnRule instances for simp7, simp8, and simp9
added EqnRule for mult2
changed simp3 to use EqnRule
changed simp4 rule to use EqnRule
changed remaining rules to use EqnRule or PolyRule objects
removed unneeded static methods from Solver