Meta-prover stuff, with generic encodings, type-safe translation to literals,
knowledge base, patterns, and a file parser/ast/lexer
.merlin file in src/