> Yes.  The bulk of Ffunctionp should probably be moved to lisp.h into
> a "functionp" inlinable function, then make FUNCTIONP an alias
> for functionp and make Ffunctionp use functionp.

Is this what you have in mind?  This patch allows my Key Translation with
lambda test case to work with and without lexical binding.