Allows unsetting values
Beginnings of arc consistency