A calculus for overloaded functions with subtyping, extended abstract