Defined predicates for CONSTANT-VARIABLE-ENTRY and SPECIAL-VARIABLE-ENTRY.