[mcs] Updates common array bounds unification to use universal type comparer