You could help the grammar by having some lexical distinction between types and other identifiers. Relying on that is going to prevent you from including numbe

You could help the grammar by having some lexical distinction between types and other identifiers. Relying on that is going to prevent you from including numbers as things you can be generic over (without some additional syntax for that case). That may or may not be something you care about.