now-broken declarations; a top-level lambda may not be a CLAMBDA, it may be a :TOP-LEVEL-XEP functional.