move and update replDecsProofTheory

moved to compiler/proofs, so repl_decs and call_repl_step_dec are
undefined. the theorems now leave them as free variables.