Future work on Lkt will use this compiled type so that properties can
return precisely located errors on string literals.
Note that the exposition of this new compiled type to the OCaml and Java
APIs is incomplete, and is deferred to future developments.
