Better error messages in function calls.

Fixes #93.
This is an evolution of #220.
Easily done, we can just associate the name `"any"` with the `unknownType` instance. But I kind of like "unknown" as it indicates that the type came about because of an error.