DMN13 — Specification of type for instance of operator misses information

The FEEL syntax allows qualified names as type for an instance of expression. But the semantic mapping is not specified. Therefore, is this a valid FEEL expression:

{a: {b: 1}, c: 2 instance of a.b}.c

and this the corresponding result: "true"?

What types can be used for instance of? Only datatypes (like string, number, ...)? Can we use kinds (list, context, ...), too?

Since singleton lists are equal to the single element and kinds are allowed for instance of, everything is instance of list, am I right?

clean up specification of types, and add syntax for parametrized context, list, and function types

see attached documents