TYPEP SATISFIES shouldn't know about local functions. Example:
CL-USER> (labels ((foo (x)
(warn "called foo ~S" x)
(typep x '(satisfies foo))))
WARNING: called foo 42
This should return an error instead. It returns an error it can't be
open-coded (i.e. the type argument isn't constant at compile time).
<Adlai> from the spec: "... which must be a symbol whose global function
definition is a one-argument predicate."
<Adlai> global functions are stored in the symbol, while local functions
are stored in the environment