Create code_theory.md