Theories in new folder.
Split Coq post compilation.