Make the introduction more precise

[jeltsch]

The introduction to this package is a bit vague, in particular with its use of the term a kind of generic modal programming language. We shall make the introduction more precise. In doing so, we shall take into account that the introduction appears, in slightly different forms, in the following places:

• The README.md file
• The description field of the package description
• The documentation of the Control.Modal module