Implement Eq for Bitv and BitvSet