added Program to help typecheck the mk_rec funciton
Merge branch 'Mtac1-v8.4' of github.com:beta-ziliani/coq into Mtac1-v8.4
Merge branch 'Mtac1-v8.4' of github.com:beta-ziliani/coq into Mtac1-v8.4