Wrote a bit about control structures in the README.