Substitutions and Provers

- Moved substitutions to Subst/
- Added EProver2
- TODO: If I make Facts a parameter rather than a field then
  I can write KnowProver.