Add Case Study: Symbolic Expression Optimization

[grantjenks]

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.