A semantics for λ &-early: a calculus with overloading and early binding