Fix a bug with vanishing tuples in parameter binding.

This only happens when binding parameters under an abstraction pattern
and can therefore only currently happen with closures passed to functions
that take variadic generic tuples (that happen to vanish).

This is relatively straightforward using ExpandedTupleInputGenerator,
and it cleans the code up a fair bit.

Author: rjmccall