Check if child is weak subtype of java.lang.Throwable

Hi,

as part of my language i'm developing, I have an operation concept, that may throws an exception (or more). To realize this feature, I've taken a closer look at BaseMethodDeclaration, which also has such a feature (throwItems): I'm currently about to implement the type check, however, I'm not able to identify the proper model/language I need for getting the following line to run:

for (node<Type> throwsItem : operation.throwsItem) {
  infer throwsItem :<=: <Throwable>;
}

as the "Throwable" simply cannot be found.

Using Ctrl+R to search for the model and import it does not change the situation!

Thanks a lot,

phil