Several small API changes.

* Added const Setup[s]::[Inconsistent|Entails]().
* Using the const versions in Formula etc.
* Getters for non-const setups return pointers (instead of references)
  and are have `mutable' in their name, e.g., mutable_setup().