First complete version of expr.py