Update README.
Refactor expression refinement traversal into its own function.
Refactor traversal into smaller functions.