add new bootstrapping theory

evaluates the compilation of the repl module, and the code for calling
repl step. takes around 30 mins to build on my machine.