ByteWeight review

all modules that have `let` statements inside should have `*.mli` file.