(raise-type-error name expected value) creates an exn:application:type value and raises it as an exception. The name argument is a symbol that is used as the source procedure's name in the error message. The expected string is used as a description of the the expected type, and the value is the value received by the procedure that does not have the described type.