Support well typed variadic functions

[nasser]

All variadic function invocation currently happens through IFn, which will drop the types of any hinted required arguments. Ideally our generic Magic.Function interfaces would support the variadtic case as well as the fixed arity cases. The contents of & rest will almost certainly always be Object, though.