HasType

The Typeresolver needs to be aware of all outgoing edges to types in order to merge equal types to the same node. For the primary type edge, this is achieved through the hasType interface. If a node has additional type edges (e.g. default type in [ ]) the node must implement the updateType method, so that the current type is always replaced with the merged one

Used to set the type and clear the possible subtypes list for when a type is more precise than the current.

Set the node's possible subtypes. Listener circle detection works the same way as with .setType

Set the node's type. This may start a chain of type listener notifications

Side-effect free type modification WARNING: This should only be used by the TypeSystem Pass