switch controlling rewriting of lambda objects
Rewrite-lambda-modep is an identity function with no purpose
other than to serve as a switch controlling whether and how the ACL2 prover
rewrites quoted lambda objects in argument positions of ilk
:FN. Behavior is determined by the enabled status of two runes
associated with rewrite-lambda-modep, the executable-counterpart rune
and the definition rune. See rewrite-lambda-object.