Updated XText to look more like previous Event-B texts.