Remove non-located error types

[MarcellPerger1]

We should unify all error types so there isn't a separate (unused) 'non-located' and located errors. And then just set region to None if location isn't available (but shouldn't really happen in practise)