Ensure that variables record the root against which they are matched.
Add a derivation example to README.