typal_equality