So Python with type definitions (syntax sugar) is a new language?