ROPE: TYPE = Rope.ROPE;

STREAM: TYPE = IO.STREAM;

Object: TYPE = MathObjects.Object;

MethodDictionary: TYPE = MathObjects.MethodDictionary;

A (Math)Environment is a collection of [name, value] bindings.

Environment: TYPE = Object;

EnvironmentData: TYPE ~ REF EnvironmentDataRep; -- probably a RefTab; should check how CedarScheme represents environments

EnvironmentDataRep: TYPE;

The .class of a Environment is the SystemObject Environments, which provides methods for access to the constituents of an Environment., e.g. search.

We may conceivably try to maintain knowledge of all currently active Environments via Environments' .data, consistent with the goal that externalization of all SystemObject's amounts to complete externalization of system state.

Environments: Object;

EnvironmentsData: TYPE ~ REF EnvironmentsDataRep;

EnvironmentsDataRep: TYPE;