move translator after repl in build-sequence

since translator/repl depends on repl
uncapitalise some theories in translator/repl/Holmakefile

to match what the new lem generates...