I have so much trouble when trying to refactor projects bigger than a few hundred lines in python. If I could integrate this into Jupyter easily I'd be excited to try it out.
Type hinting combined with PyCharm’s refactor commands work well for me. I assume the other IDEs work just as well.
Are you using an IDE?
We have a 50kloc all-python backend, with very high (>90%) type integration (that last mile is hard). I've done pretty big (thousands of loc) refactors and it's pretty painless. Night and day compared to the pre-typed python days.
You do know you can statically type Python, right?