Minor bug fixes:

- Make the domain property of Variable always return a set.

- Don't call a boolean value as if it's a function.

- Remove a unary constraint after every value in the domain of the variable involved in it has been limited to only the values that satisfy it.
Add tests involving unary constraints.