parse 0 and monad transformer article sections: continue working on English of explanation, and put more imports by the code that uses them