tagged(E: OBJECT, S: STRING): TAGGED(S)
/**/ L := [1,2,3]; /**/ M := tagged(L,"MyTag"); /**/ type(L); LIST /**/ type(M); TAGGED("$TopLevel.MyTag") /**/ type(untagged(M)); LIST