we use the typing rules to distinguish identity from normal constraints
we use the typing rules to distinguish identity from normal constraints

babelsberg/babelsberg-rml,babelsberg/babelsberg-rml,babelsberg/babelsberg-rml,babelsberg/babelsberg-rml