Look into self-referential type kinds

[TheNeikos]

Currently TypeDescriptions can only be forward declaring: "I am an array consisting of Strings".

An interesting feature could be to extend this vocabulary with indirect references. These would allow a more structure approach to declare dependencies between fields:

"I am an array consisting of strings found in this other array."

Some inspiration can be: https://www.typescriptlang.org/docs/handbook/2/keyof-types.html

The important part here is, this is not programming or otherwise behavioural checks. This is a structural type description.

Some possible operators:

• keyOf, checks whether the given HashMap/Struct contains the given Type as key
• memberOf, checks whether the given Array contains the given Type as a member

Others could be considered.