Improve location annotation in the source

[yav]

There are a few issues where compute source regions are incorrect (e.g., when lifting is involved, plus some annotations were just wrong in the parser)