StructureDataRep:
TYPE =
RECORD [
methods: MethodDictionary, -- methods of Category, Domain, View uniformly accessible
data: REF ← NIL -- optional structure-specific data, e.g. a View should save its "underlying" Domain, Domains and Categories may have "properties", e.g. we may attach axioms to a Category.
];