LANG: new version of abstract syntax (with transformation)

Here is a new version of the abstract syntax with a transformation to
triples added.  Also, OWL Lite has been placed first.  This is an initial
cut, for those who would like to be in the loop.  A revision will almost
certainly be made by the end of the week, but I expect that most changes
will be minor.

Needed changes include a rationalization with the token names agreed on at
the F2F.

peter