DeBruijn indices
updated readme
Fixed Substitution up to type_in_type
done substitution with debruijn
updated definition of context to work with DeBruijn
Proof of Progress with DeBruijn
Merge branch 'master' of https://github.com/zilberstein/system-fc-coq into debruijn