trait SemiRegular

Types that can be moved, destroyed, and compared for equality, but might not be copyable (roughly per Stepanov).

trait Regular

Regular types (roughly per Stepanov).