Rewrote expexp.
Add examples from Dijkstra's paper on calculational proofs.
Adds links to front page.
Adds examples of adding, subtracting, and multiplying fractions.