types2: add EAssign with polymoprhic scheme equivalence condition