(GT-K01606): New character; add `<-denotational' and