The text of type in an identity whose separators are reserved: its context, with . reserved too, a ., and its name, each escaped, so a.b's c and a's b.c stay apart. An ordinary type reads context.name.
.
a.b
c
a
b.c
context.name