Make with-type-dispatch accept multiple arguments of the same type

[ruricolist]

This would be useful for, say, operations between arrays of the same type, without leading to a combinatorial explosion.