Currently, the grammar only prevents the sequence !:. So someone could have a type like He!!o.
::= <any UTF8-octets except newline or parens or ":" or "!:" or whitespace>+
Personally, I would find this confusing to see but it also would greatly simplify this grammar rule to only be looking at characters rather than sequence of characters.