Python Type Checking Vs Code Red Stallion