Merge pull request #28 from mikekab/master

Is_Initial / Populator fix for facilities
Trying to get resources committed.
Merge pull request #29 from hamptonsmith/resources

Trying to get resources committed.
A number of fixes getting types into DotExps and some more Verifier expressions.  Several fixes and changes to how CrossTypeExpressions are handled.  Fixed a bug in RBuilder.g that caused Cart_Prod expressions not to parse.
A number of fixes getting types into DotExps and some more Verifier expressions.  Several fixes and changes to how CrossTypeExpressions are handled.  Fixed a bug in RBuilder.g that caused Cart_Prod expressions not to parse.
Merge pull request #30 from hamptonsmith/globallyBoundedList

Globally bounded list
Alt_Rev_Stack compiles.
Merge pull request #31 from hamptonsmith/facilities2

Alt_Rev_Stack compiles.
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 =...