SimpleNameKind

A simple info type; some subclasses of Kind define more refined versions

The info class defined by this kind

A string used for displaying the structure of a name

Turn a name of this kind consisting of an underlying prefix and the given info into a string. Used to turn structured into simple name.

Does this kind define logically a new name (respectively qualified name)? Tested by the replace and collect combinators of class Name.

Unmangle simple name name into a name of this kind, or return original name if this is not possible.