Allow for annotations and indices on process names and labels. Standard
Show instance and PrettyPrint. This brought to light bugs in that names
have been generated using show. Decorations (annotations and indices)
can be strings, variables, numbers, or variable bindings. No expansion
of decoration during convert yet.