Remove some warnings regarding Control.Monad.Error deprecation
Add a REPL !!!
Less abstract nonsense. Showing types for `until_`