Unifying Overloading and lambda-Abstraction: lambda{}