Better YARD documentation.
Merge branch 'master' into better-docs
Removed (not thread-safe) #value= and #reason= methods from Obligation.
Better YARD documentation.