added monom mult rule from different branch
made monom_mult_rule ground more efficiently
fixed minor typo
removed prodCoef() predicate to improve grounding
added domain predicates to some rules, making grounding more efficient
renamed a rule file