These functions are more often than not what is wanted
rather than __eq__ checks on types, yet they were
previously hidden inside of core/impl. This change
moves them to `tff.Type` methods so that they can be
used elsewhere (such as in tff.learning).

PiperOrigin-RevId: 315957012