Beef up introduction.
Layout source code.
Add Pattern of tree construction.
Elaborate on the associative/commutative API.