Mini parser compiles again.
Old reduction machine removed.
Old find redex functions removed.
Old find redex functions removed.
Corrected instantiate.
Problems with edge iterator invalidation.
Minor corrections.
Moved stuff from heap.cpp to environment.cpp.