AccessAttribute
A reference to an access attribute of the aggregate whose state is S: a Single value or Multiple ones of type, under its published name. The state declares its attributes with @Access, and the compiler generates a reference to each in <State>Access (AccessAttributes); OWNER and SPACE are the built-in ones every aggregate has, its scope's, so they are references of every state (S is in: a reference of Any is one of each state). An access policy of a state takes the references of that state alone, which the compiler checks.
type is the class of each value: String, Integer, Long, Boolean or an enum class (isValueType); the name follows the rule the compiler and the Manifest hold it to (me.ahoo.wow.manifest.AccessAttributeName of :manifest). Two references are equal when they name the same attribute alike.