Occbin: add various consistency checks for bind/relax tags

In particular, emit more explicit error messages in the presence of
inconsistencies.

Closes: #103