Committing changes before merge.
Merge branch 'master' of https://github.com/ericmercer/uber-lazy
Added more detail to the Field Write proof, and fixed some typos in the lazy Field Access rule.