Approximate Type Inference for Python 3