tag(E: OBJECT): STRING
/**/ L := tagged(3,"MyTag"); /**/ type(L); TAGGED("$TopLevel.MyTag") /**/ tag(L); MyTag