Add typing to sage_input methods#40897

tobiasdiez wants to merge 2 commits intosagemath:developsagemath/sage:developfrom

tobiasdiez:typing_sage_input_tobiasdiez/sage:typing_sage_input_Copy head branch name to clipboard