Generate error if the value of ARG-NAME doesn't satisfy PREDICATE. PREDICATE is a function name (a symbol) or an expression to compute. TYPE-STRING is a string to use in the error message, such as “a list”. ERROR-TYPE-NAME is a keyword that tells condition handlers what type was desired.