It was certainly our intention that defined datatypes would have empty lexical spaces: as you rightly point out, it would be unclear how to specify the lexical space of such literals and the appropriate mapping into concrete values. Some clarifying text has now been added.

Last modified on 28 June 2012, at 16:39