Fixed grammar issues. Added contra-elim, notnot-elim, and a couple tests.