don't use bind or bind* in constraint code
don't use `bind` or `bind*` in nominal constraints