Instagram/MonkeyType: A system for Python that generates static type annotations by collecting runtime types