Update TheoremSet.java

Basic file, haven't implemented integration with ProofChecker/InputSource (TODO tonight).

Accumulates facts from input file until file is exhausted, then Proof.facts = TheoremSet.transfer()