Argument-directed overloaded functions

[lifthrasiir]

There are tons of instances where you accept one of the (mutually disjoint) argument types, most significantly os.date (awww...). There is a tentative syntax reserved for such cases (function(...) -> ... & (...) -> ...), but its exact semantics is still vague. Its relation to subtyping and user functions should be also determined.