Definition:
(defconst *atc-promote-value-rules* '(promote-value-when-scharp promote-value-when-ucharp promote-value-when-sshortp promote-value-when-ushortp promote-value-when-sintp promote-value-when-uintp promote-value-when-slongp promote-value-when-ulongp promote-value-when-sllongp promote-value-when-ullongp))