more uniform simproc_setup: avoid vacuous abstraction over morphism, which sometimes captures context values in its functional closure;