[logic-ml] Segal types and Rezk types