Polymorphism in function calls?

[Arachnid]

It'd be nice if we could have the function stub for each function that has multiple overloads understand polymorphism and which of the overloads to call - but this may be too difficult and/or error-prone.