Fix infinite check-ns loop.
Support Strings as Seqable
Fix regression with ordering of constraint checking cases.