Finish implementing the constraint/domain store