More work on the implementation chapter including descriptions of the monadic
primitives.
Small fix in the push section