RE: Datatypes - help please

>BTW, we didn't specify anything about what a datatype theory ought to
>say (e.g., it could map all integers to the same domain element). Do
>we want/need to say that datatype theories must be consistent with
>XMLSchema, or some such?

Procedurally, shouldn't this be made as a last call comment on S&AS after 
Monday?

Jeremy