do not unify with the wrong type when checking constraints in EDisplay (closes #1939)