ByteWeight

That's great, very ocamlish. 

Btw, it is usually a good idea to add some annotations to the toplevel definitons, at least to specify (constrain in OCaml parlance) the return type:

```
let funs_of_section img sec : fn Seq.t
```