The lazy module exports the 4 identifiers delay, lazy, force, eager. None of these are in IEEE Scheme. R5RS provides delay and force only. Their semantics are R5RS as amended by SRFI 45.
WG1 voted to accept this module, but rejected SRFI-45 (see #55), so only delay and force are in the module.