Rename the optimizing combinators thanks to Schönfinkel