Ignore some Coq and Emacs artifacts
Add basic term definitions
Ignore all hash-bearing files
Add gfold to Untyped
Begin work on substitution related stuff
Add makefile
Add some conveniences for working with pretty terms
Replace useless gfold with useful lamfold
Add substitution related (unproved) lemmas
Rename dename1
Make dename an implicit coercion
Add some explorations in Subst module
Merge pull request #2 from knuton/faulty-lemmas

Add some explorations in Subst module
Fix lift Var case
Give first lift lemma a proper name, remove fishiness
Fix subst definition