Added Setup::[Locally]Consistent().

The consistency checks are just the same as before. (Except that they
have to use Clauses instead of Clause references.)