Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics