Currently, instanceof with JSO object on right side won't differentiate particular types. For classes, however, this is possible. Perhaps, additional annotations are required for various purposes:
To 'erase' JS type, so that it behaves like old-fashioned JS object (or JSO interface)
To declare some other name or location of JS type
To declare that some type is a primitive type, so typeof value == 'type' should be generated instead of value instanceof type.
Currently, instanceof with JSO object on right side won't differentiate particular types. For classes, however, this is possible. Perhaps, additional annotations are required for various purposes:
typeof value == 'type'should be generated instead ofvalue instanceof type.