> In a first-order logic statement, quantifications in the same type
(either universal quantifications or existential quantifications) can be
exchanged without changing the meaning of the statement, while the
exchange of quantifications in different types changes the meaning.

What does 'type' mean here?

https://en.wikipedia.org/wiki/Quantifier_(logic)