Are there any plans to support dynamic type inference via [Instagram's MonkeyType](https://github.com/Instagram/MonkeyType) or [Dropbox's pyannotate](https://github.com/dropbox/pyannotate)? If so, [Gruber et. al's FlaPy](https://github.com/se2p/FlaPy) can be used for dependency installation and sandboxing.