WYRL: added some nice documentation surrounding reduction rules.
Added another simple example.