kind_infer en cours sim
Merge branch 'master' of https://github.com/lewer/Coq-System-F-