"types as comments" is the term that the champions and reviewers of this proposal have been using. It refers to how the types are parsed: aside from some kind

"types as comments" is the term that the champions and reviewers of this proposal have been using. It refers to how the types are parsed: aside from some kind of standard start and end delimiters, the parser does not try to parse the expression-level type syntax. Type expressions are just strings of characters. This way you can have basically any syntax at all for types.