Add `times`, which repeats a monoidal value _n_ times.

This is a supplement to `times1p` for monoids.