Use expected_traits in the section 5.4.4 Function value. Small visual corrections.
Correction of the section 5.5.
Full corrections of the chapter 5 and rewriting of the monadic operations rational.
Merge branch 'master' of https://github.com/ptal/std-expected-proposal