Recognizer for alignspec structures.
(alignspecp x) → *
Theorem: consp-when-alignspecp
(defthm consp-when-alignspecp (implies (alignspecp x) (consp x)) :rule-classes :compound-recognizer)