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