Implemented Fact.equals and Fact.toString, added documentation, and a small formatting change in Operator.js.