Notes an n-ary
Use symbol-printname<?.
Set a constraint with a predefined lambda.
Neighbors-from-constraints
Just a copy of `consistent?'.
Test alldiff, etc.