Add `times`, which repeat a monoidal value @n@ times.

This is a supplement to `times1p` for monoids.