Standard folds

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