I'm not sure I believe SemiRegular is a useful concept; it may have fallen out of wanting to support input iterators, which really shouldn't be copyable in the first place, but…

Slide 14 of this presentation shows that SemiRegular means, in our current world (I think) Copyable + Deinitializable.

@sean-parent can you comment on the motivation for SemiRegular?