Create Symbol Expressions using namedtuples and write optimizer rules using patternmatching.

Might be a good demo for the landing page -- I recall lots of complex clauses with patternmatching.