Update graphviz diagrams with output from my dot-printing branch
Update the invariant for empty args
Fix a typo
Some cleanup to what I have so far in the advanced expression manipulation section