before trying to produce subtypes of Grapheme.Elem
with subtypes of elem. not sure we did the right thing with keeping (bi)type here which still assumes plain expr
...