Fix conLang's eq definitions

REmove the check that the constructors come from the same type.