some type annotations in comp.py#40959

fchapoton wants to merge 3 commits intosagemath:developsagemath/sage:developfrom

fchapoton:typing_in_compfchapoton/sage:typing_in_compCopy head branch name to clipboard