Added a missing constraint to 'distribute' and its inverse.
Added 'apply' method to 'Curry' class.
Introduced inverses of 'regroup' and 'coRegroup'.