Could you clarify... the "declaration" includes the type right? So why should behavior not depend on the (static) type of the term? That's a very standard use

Could you clarify... the "declaration" includes the type right? So why should behavior not depend on the (static) type of the term? That's a very standard use of static typing. It seems like you're coming from a dynamic background. There really isn't any such principle or rule here, only it seems, unfamiliarity with type systems.