Minor fixes:

 - fixed various typos and comments
 - added an introduction section
 - added description for obstruction-freedom