The rest of the changes needed to be able to support egraphs. Includes changes to the environment and the planner interface.