Remove a type error case from =

When the constructor sub values have different lengths, but the same
tag.  This can't happen in type safe code, but was a right pain to
establish in the translator.  Not the equality code might have to check
lengths a bit more (but probably was anyway).