Docs: revision.
FLPBook: Revised chapters 1, 4.
Merge branch 'master' of https://github.com/samsergey/formica into monad-inferrence
Some more experiments.