[TxMt] Re: OCaml scoping