am I the only one not to like the name `Key` here ? _(would you name a variable "variable" ?)

What about
- TypeMetadata,
- AnnotatedType,
- ?