Use Monomorphic and Batteries everywhere
Remove the use of monad-exn (replaced by BatteriesExceptionless and Monomorphic)
Add the location to the error
Improve error messages