-bin-annot on a bare ml produces cmi and cmt but not cmti

[dsheets]

Module signatures without interfaces are referents, too!

[lpw25]

This is the reason for #3. So I'll close this issue in favour of that one.