As you know, the _ at the start means the type is abstract, i.e. cannot itself be instantiated. We want to show the user that the type is abstract, so simply hiding the _ isn't ideal. In some places in the UI, we can simply show the concrete subtypes and not show the abstract supertype at all (e.g. in the dialog the user will see when creating an instance). In other places, where we have to show the abstract type, we can make it more obvious to the user by showing it in italic or grayed out, and in those cases we do indeed drop the _. In some places the OS / UI doesn't offer graying or italics, e.g. in menus, tooltips, or window title bars, and so there we have to show the full name with the _.