Private name support. #
Suppose the user marks as declaration
n as private. Then, we create
_private. is the "private prefix"
We assume that
n is a valid user name and does not contain
Name.num constructors. Thus, we can easily convert from
private internal name to the user given name.