Implemented issue #90 (if ?x ?x ?y) -> (or ?x ?y)
Fixed a place that kibit had a better suggestion for.
Merge pull request #91 from TAllen/master

Implemented issue #90 (if ?x ?x ?y) -> (or ?x ?y)