Update README
Check C++ call expressions
Propagate through MaterializeTemporaryExpr
Librarize pointer type comparisons

We'll need to reuse this identical-tree check.
Tainting: Check reference binding
Share pointer invariance check with Nullness

Seems like all type systems need this.
Expunge template-parameter ambitions (#6)