Use pycrdt's typed containers#302

davidbrochart wants to merge 3 commits intojupyter-server:mainjupyter-server/jupyter_ydoc:mainfrom

davidbrochart:typingdavidbrochart/jupyter_ydoc:typingCopy head branch name to clipboard