Model inscription
Model
Merge branch 'Beta' of https://github.com/maxime1992/ndl_haskell_ere into Beta