Summary

• A monad is an integer.
• An object is a set of monads with an id_d and one or more features. It belongs to one object type.
• What object type an object belongs to determins what features it has.
• A feature is a typed value which is an attribute of an object.
• The feature types can be: STRING, ASCII, INTEGER, ID_D, an enumeration, LIST OF INTEGER, LIST OF ID_D, LIST OF enumeration, and Set of monads.
• An enumeration is a named set of named integer constants.