Use TextMarks for marks, which are aware of text changes
Fix start and end mark for errors. Now they follow changes made in the text.