vElim and <->Intro Implemented
Implemented Repeat rule

General refactoring.