Macro CHECK-TYPE Syntax: check-type place typespec [ string ] => nil Arguments and Values: place ---a place . typespec ---a type specifier . string ---a string ; evaluated. Description: check-type signals a correctable error of type type-error if the contents of place are not of the type typespec . check-type can return only if the store-value restart is invoked, either explicitly from a handler or implicitly as one of the options offered by the debugger. If the store-value restart is invoked, check-type stores the new value that is the argument to the restart invocation (or that is prompted for interactively by the debugger) in place and starts over, checking the type of the new value and signaling another error if it is still not of the desired type . The first time place is evaluated , it is evaluated by normal evaluation rules. It is later evaluated as a plac...