typedef with generic types should require type arguments

[apinski-cavium]

I think this is a specification issue even though the specification is not clear and the reference compiler currently accepts it (p4lang/p4c#3174 fixes that).
Either way it is decided, the specifications should add a setence or two about generic types if it is just a rename of the generic type and then allow that or mention that it requires type arguments.