added constant polynomials
revised definition of equality
renamed some predicates to avoid confusion
updated basic_rules and eqn visualizer
fixed minor bug with equality
updated misc_rules file