update sideTheory

not sure if things need to be added to it, but repl_step_side is proved
(and dependencies).