Schoenfinkelization package: proper names for curry and uncurry.
there don't seem to be any issues for this project.