Revert to an imperative system for errors.
Add renaming of variable to schemas.
Merge branch 'MLF' of https://github.com/theolaurent/mini-haskell into MLF