Added equivalence functions to typing.mli