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

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;