error[clm01]

Claims involving verbs whose object is constrained must use <object>, not @object.

Affects: @object-datatype @object-lexical-constraint<claim> <verb>

Used by template ŧ core-expansion-terse