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.