try {
// TODO: handle ValueExp nicely
texp.getType().checkValid( srt.literal, srt.context );
if(texp instanceof ValueExp) {
ValueExp vexp = (ValueExp)texp;
if(!vexp.dt.sameValue(vexp.value,
vexp.dt.createValue(srt.literal,srt.context))) {
// incorrect value
return docDecl.localizeMessage(