The signature of everything that's not a method, i.e.
The signature of everything that's not a method, i.e. that has a type different from PolyType, MethodType, or ExprType.
The signature of an overloaded denotation.
The signature of a method with no parameters and result type resultType
.