new (heterogenous) equality between vectors and ExprG added