CodeTheCity: Gradual Static Typing in Python