Cleanup of descent properties#1730

fredrik-bakke wants to merge 12 commits intoUniMath:masterUniMath/agda-unimath:masterfrom

fredrik-bakke:cleanup-descentfredrik-bakke/agda-unimath:cleanup-descentCopy head branch name to clipboard