bitsets -- unit type defining features related to bitest but notrequiring an instance
an empty bitset
monoid of bitset with infix ⋃ operation.