> I installed your patch slightly simplified (FUNCTIONP already does the
Ffboundp and SYMBOLP checks).

What I'm really doing involves the need for a closure, so I proceeded to
enable lexical binding.  This causes the test case to fail again.  I looked
into it and found that DEFUN("functionp", ...) checks EQ (car, Qclosure)
but FUNCTIONP does not.  We could add the same check to FUNCTIONP, but I'm
wondering if one of these functions should leverage the other?