[
ELEMENT
]
IS OF
[
TYPE
] ([
ONLY
] type) | [
NOT
]
SUBSTITUTABLE AT ALL LEVELS