Definition:
(defconst *atc-type-kind-rules* '(type-kind-of-type-schar type-kind-of-type-uchar type-kind-of-type-sshort type-kind-of-type-ushort type-kind-of-type-sint type-kind-of-type-uint type-kind-of-type-slong type-kind-of-type-ulong type-kind-of-type-sllong type-kind-of-type-ullong))