Stub 2 primitives, provide an imp-prop-value.
stub procedure-arity-includes? with 3 args

(also small fix to other stub)