Parser: Support for kind annotations for type parameters