Raise errors for primitive annotation type parameters

[kriegaex]

Implement a PatternNodeVisitor finding faulty primitive annotytion type parameters in all kinds of signatures and raise errors (maybe just warnings?) for them, e.g. Foo<int>, Bar<String, float>.