Defining a type error and an arity error for our new exception system.
`try` should raise `wrong-type` when used with the wrong types.