arithmetic, relational, and assign expr complete