Per Moon's remark, that the manual states that CHECK-TYPE does not evaluate
the error-message argument is an error. CHECK-TYPE should evaluate its
optional argument form.
ASSERT should have the syntax
ASSERT test-form [ ( {place}* ) [ string {arg}* ] ]
--Guy