Fixing overflow positions
- Also allowing multiple error messages again
- Moved output in example to IO monad