Occbin: improve error messages for consistency checks for bind/relax tags

By the way, also improve the terminology used in variable and method names: a
“constraint” is something like “ZLB” or “INEG”, a regime is a state in which
constraints are either binding or relaxed.

Really closes: #103