ignore original sorts when comparing constraints, fixes #1296

minimal fix for #1296. The order of constructors and order of types in one block still matters.