Add some mlb files so that `sequents` can be built with `mlton` as well. `mlton` does not seem to like unicode, though there is probably a workaround.