corrects elimEquivilence
adds incomplete elimmp
adds elimImp