remove replDecsTheory

I believe the correct location of repl_decs is now side_decls from
sideTheory.