open the new semantic printTheory in compiler/proofs

(its contents were previously provided by replTheory)