Better error message on wrong types

When passing a wrong type to a typechecked function, the resulting error simply prints "type error" without any further information, such as the stacktrace, expected type and argument number.

Would it be difficult to add this information?
