Recognizer for context objects for error messages
See ctx for relevant background. The function ctxp returns t when ctx is a valid context according to the definition below (also see msgp), else nil.
Function: ctxp
(defun ctxp (x) (declare (xargs :guard t)) (or (symbolp x) (and (consp x) (symbolp (car x))) (msgp x)))
