Definition: *case-insensitive-string*
(defconst *case-insensitive-string* (rulename "case-insensitive-string"))