6. A computer-readable storage medium configured with data and instructions for performing a method for providing a run-time binder with compile-time context data for a dynamically bound operation, the method comprising the steps of: placing in a semantics payload at compile-time at least one of the following payload portions: an argument-is-literal payload portion containing an express indication that a method argument is a literal constant; an extension-method-scope payload portion for an extension method to be dynamically bound, including a list of types on which viable extension method(s) were located at compile time; a struct-by-ref payload portion for a program construct of the form s.M(d) where s is a struct type, d is a dynamically typed variable, and M is a method on s, said payload portion containing an express indication that struct s is to be passed by reference address; and providing the semantics payload to a run-time binder which performs overload resolution by either binding overloaded program items to particular respective implementations after compile-time or by raising a run-time exception or other error condition if no type-compatible resolution is possible with the information available to the binder.
6. A computer-readable storage medium configured with data and instructions for performing a method for providing a run-time binder with compile-time context data for a dynamically bound operation, the method comprising the steps of: placing in a semantics payload at compile-time at least one of the following payload portions: an argument-is-literal payload portion containing an express indication that a method argument is a literal constant; an extension-method-scope payload portion for an extension method to be dynamically bound, including a list of types on which viable extension method(s) were located at compile time; a struct-by-ref payload portion for a program construct of the form s.M(d) where s is a struct type, d is a dynamically typed variable, and M is a method on s, said payload portion containing an express indication that struct s is to be passed by reference address; and providing the semantics payload to a run-time binder which performs overload resolution by either binding overloaded program items to particular respective implementations after compile-time or by raising a run-time exception or other error condition if no type-compatible resolution is possible with the information available to the binder. 8. The configured medium of claim 6 , wherein the method further comprises providing, to the same or another run-time binder, a member-accessibility payload portion indicating where an access originated, thereby allowing a runtime to determine whether an invocation location has access to a specified member.