ported over eqn_rules file from last version; still needs debugging
debugging eqn_rules
changed the way integers are represented
fixed bug with isZero predicate