Arbitrary function argument types are now possible in function calls.
Fixes #8 #9 #10.