by-apply: allow partial args using #:with

[stchang]

The unspecified args should be subgoals

from @dmelcer9

[stchang]

And if inference fails, it should also add the remaining unsolved antecedents as subgoals