prove correctness of compilation of strings

now compiler proofs all build. should check repl next.