Fixed a bug that caused the prover to freeze the UI and go into an infinite loop when it exhausted the proof search space.  Added a Minimization step after theory development but before main proof search.
Merge pull request #32 from hamptonsmith/facilities2

Fixed a bug that caused the prover to freeze the UI and go into an infin...
Fixed an error that caused expression structure not to be taken into account when applying type theorems (i.e., binding expressions were mostly ignored).  Fixed an error that caused new relationships to overwrite existing ones between nodes in the type graph.
Merge pull request #33 from hamptonsmith/facilities2

Fixed an error that caused expression structure not to be taken into acc...
Fixed an error that caused, e.g., Str(X)s not to be acceptable where an SStr was required.
Merge pull request #34 from hamptonsmith/facilities2

Fixed an error that caused, e.g., Str(X)s not to be acceptable where an ...
Fixed an error that caused VarExps not to be replaced properly.
Merge pull request #35 from hamptonsmith/facilities2

Fixed an error that caused VarExps not to be replaced properly.
Added a limit to the number of developments the prover will perform to limit combinatorial explosion.
Merge pull request #36 from hamptonsmith/facilities2

Added a limit to the number of developments the prover will perform to l...
Fixed a predicate that was intended to stop repeated expansions like x = 0, x = 0 + 0, x = 0 + 0 + 0, etc. in the theory development stage.
Merge pull request #37 from hamptonsmith/facilities2

Fixed a predicate that was intended to stop repeated expansions like x =...
Some progress.
Fixed a concurrency issue that caused exceptions to fire when starting or stopping the automated prover on the first VC of a verification.
Fixed a concurrency issue.
Fixed an issues that caused VCs to be generated incorrectly.
Fixed an error that caused incorrect VCs to be generated.
Merge pull request #38 from hamptonsmith/facilities2

Fixed an error that caused VCs to be improperly generated.  Some concurrency fixes to the new prover GUI.
Fixed an encapsulation issue in PExp that permitted clients to get a reference on (and thus change) cached values.
Merge pull request #39 from hamptonsmith/facilities2

Fixed an encapsulation issue in PExp that permitted clients to get a ref...