(U+64E7): Add `<-denotational' for IWDS1-0342; apply new conventions