Finish a definition of Segal types