ast.py: some demos and improved pratt machinery