Added a very lazy partial proof solver
Added the structure of a set equality proof
Added subset proofs, and recursively structuring a proof
Merge pull request #2 from jbauschatz/solver

Solver