Fix
Add benchmark content
Give `lazyReadBuffered` as example of EFCF
Fix TODO: More content on fields

(Dima's request)
Fix TODO: Explain contents in 5.1
Reorder subsections 5.1.2 <---> 5.1.3
Fix TODO: introduce artificial frames
Fix TODO: subtyping blah
Fix TODO: Peter's nitpick on Exception instances
TODO: Answered Peter's "so what" remark :)
add TODO
Just remove TODO
Fix TODO
Fix TODO
Fix TODO
Fix TODO
Fix TODO
Fix TODO (what was i thinking ...)
Fix TODOs