remove compilerLib, move contents into libTheory
move some theorems from compiler/proofs to semantics/proofs