fixed more RuleHelper methods
updated simp8 and mult2 helpers
updated heur4 helper
fixed first three rules
began updating Solver class