reorganize groupoid examples etc.