Documentation: improvements in Integral
Move length from Iterable to Foldable.