Definition:
(defconst *atc-tyname-to-type-rules* '(tyname-to-type tyname-to-type-aux (:e tyname->tyspec) (:e tyname->declor) (:e obj-adeclor-kind) (:e obj-adeclor-pointer->decl) (:e obj-adeclor-array->decl) tyspecseq-to-type (:e tyspecseq-kind) (:e tyspecseq-struct->tag)))