Suggestion: overloading is exponential

Surprisingly it's still not well-known that arbitrary Java-style function overloading guarantees exponential typechecking time even in the most trivial situations. The fashion show: - [C#](https://learn.microsoft.com/en-us/archive/blogs/ericlippert/lambda-expressions-vs-anonymous-methods-part-five) - [Swift](https://danielchasehooper.com/posts/why-swift-is-slow/) - [TypeScript](https://github.com/microsoft/TypeScript/issues/21699).