Pyre: Fast Type Checking for Python