Made Formula.steps public
Added Model.match
Added Clause.evaluate
Added Formula.evaluate