Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/yushan87/RESOLVE
Holy crap, Array_Realiz goes through.
Merge pull request #25 from hamptonsmith/arrayRealiz

Holy crap, Array_Realiz goes through.
Removed a debug print from the Populator.
Merge pull request #26 from hamptonsmith/arrayRealiz

Removed a debug print from the Populator.
Big performance boost for all things involving type checking (especially the automated prover.)
Removed obsolete test.
A number of performance tweaks to the typechecking subsystem and a little clean-up in TypeGraph.
Another small performance tweak to the type subsystem.
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE