Definition:
(defconst *atc-boolean-from-integer-return-rules* '(booleanp-of-boolean-from-uchar booleanp-of-boolean-from-schar booleanp-of-boolean-from-ushort booleanp-of-boolean-from-sshort booleanp-of-boolean-from-uint booleanp-of-boolean-from-sint booleanp-of-boolean-from-ulong booleanp-of-boolean-from-slong booleanp-of-boolean-from-ullong booleanp-of-boolean-from-sllong (:t boolean-from-uchar) (:t boolean-from-schar) (:t boolean-from-ushort) (:t boolean-from-sshort) (:t boolean-from-uint) (:t boolean-from-sint) (:t boolean-from-ulong) (:t boolean-from-slong) (:t boolean-from-ullong) (:t boolean-from-sllong)))