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