String constraints prototyped.
Disallow duplication in sets of clafers.
More basic implementation of string constraints.