Add docs for a homogeneous pop#30

hefos wants to merge 2 commits into

mainhefos/ludics:mainfrom

homogeneous-docshefos/ludics:homogeneous-docsCopy head branch name to clipboard