Formal Cython Grammar