Added a number of simple derived rules.
A few small edits.