DataTypeContexts eliminates no constraints