Merged requested to merge message-spans into master
This branch provides span information (instead of just positions) in messages and performs the necessary migrations. To make migration easier, a backwards-compatible
posMessage function is kept which creates single-character span messages from a position.
The related changes to the frontend can be found here: curry-frontend!26 (merged).