ast.py: more operators