Methods have a different mapping compared to other functions.
Identities can be associated with a node when they are mapped.
Need to move the check typecast operation inside the resolution loop.
Fixed the relational mapping of methods to a type.