Change `repeat`-like combinators to return a concrete type with a `fold` function, removing the need for `fold_repeat`

[epage]

Benefits

• Shrinks the core terms people have to work with, making the API more approachable
• Doesn't require importing yet another type
• Follows our principle of emphasizing the grammar in the free-funcction combinators and leaving application-domain processing to trailing functions.