Python-with-annotations to Cython converter