Moved section on modalities to agree with logical dependencies
Limitations of the internal language
Pointers to introductory references and some related work