Added inferences
Using inferences in proofs - in a very, very naive way
Added reasons to statements in proofs; added union rule; corrected set
equality proof
Added associativity rules and, and deep expression substitution
Added second half of union definition; fixed truth environment pollution
Merge pull request #6 from jbauschatz/solver

Solver