allow position constraints to coexist with 0 or 1 sort constraints; more position information in sorting error; report sorting of all type variables;