Simple constant folding on patterns and code to rewrite unary + and - operators applied to literals.

Wrote tests for the nesting order constraint on structures.

Test Plan:
The tests still pass!
Added a comment.

Test Plan:
<see below>
Automatic merge by 'arc land'