Made all changed suggested by NY, except for the two mentioned in my email:

   * line 11, page 17:
    with B being ===> with C being

   Without having had the time to look at this closesly, this must be

     with C' being

   * -line 2, page 17:
     [|F|]_f ===> [|F|](f)
     f:V . m:[M1] ===> [f:V, m:M1]

   I'm not sure about f:V . m:[M1] ===> [f:V, m:M1]