matrix type equality now generates 2 equivalent type constraints, one for row dimension and the other for column dimension