Add new type annotation for coercing (package-private) types

[liach]

Similar to the coerce annotation, this annotation will be applied to type usage (like jetbrains nullable) to indicate the actual type of a type usage.

This will allow us to refer to package-private types with relative ease.

Since type annotations are a java 8 addition, this feature is not likely for the upstream so we need to consider for ourselves.