Recognize well-formed command forms.
We see no reasonable way to restrict the form of a command, other than to insist that it is a true list.
Function: pseudo-command-formp
(defun pseudo-command-formp (x) (declare (xargs :guard t)) (true-listp x))
