Standard folds

I've simply reexported the standard `Foldable` functions, since I don't see other implementations possible. But even if I'm wrong we'll still be able to reimplement those in future if a requirement arises.