Added more motivations for block-scope, corrected typos, clarified a few points
clarified some points around types and object sub-types
clarified some function vs. method details