lump uncurrying

Chin's generalisation of uncurrying. A curried function

taking several tuples as arguments can be transformed to

take a single tuple containing all the components of the

original tuples.