almost done with def of semisimplicial types