Abstract Syntax of Mini-Python