The Exact Unification Type of Commutative Theories