Errata/E29

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.