Ignore some Coq and Emacs artifacts
Add basic term definitions