Instead of Lists of integers, we now store variable-length bitmap sets.
This should be faster as well as less error-prone.