BL Typesystem seems to be missing something for DotExpressions on java.lang.annotation.Annotation Type

hi,

i try to import the following code into MPS:

whereas the marked getAnnotation() call returns a generic ConstraintDescriptor of javax.validation.metadata:

But when i try to convert the code for MPS it seems to be unable to work with it properly providing only Object-Type-Methods to be called:

The MPS-TypeExplorer says:

which is obviously insufficient.

Am i missing something or is this a bug?

Regards,
Mirko