merge type_checking and elaboration
Merge branch 'master' of https://github.com/MathieuChailloux/mpri13