One interesting aspect about the implementation of the parser is that we utilize Python type annotations to define the grammar productions. And the whole project passes the strict mypy type checker.