Recognizer for q-char structures.
(q-char-p x) → *
Function: q-char-p
(defun q-char-p (x) (declare (xargs :guard t)) (and (b* ((char x)) (natp char))))
