Public entry point for Theory.

Theory is currently a bootstrap package for an Elixir-oriented certified Core IR. The intended long-term surface is a small IR, proof obligations checked by Theoria, and lowering paths into Rust, C, or LLVM IR.