added alternate name "definition" for refl
rewrote nat-proofs to use the new "keyword" definition