Completed re-editing the introduction. We need to work on the english phrasing some more, to make sure the english text is not cubersome natural langauge versions of the formal definitions. It's comming together. Just needs time.