Represents a use of a subexpression in a call. Contains the function and arguments of the call, and the argument number of the particular subexpression in question.
This is a product type, introduced by deftagsum in support of svex-context.
