Make the StableName# parameter phantom:
There is actually never any reason to care about the type of
the underlying object of a StableName#. The underlying object
type shouldn't really even *be* a parameter. But at least we
can mark it as phantom.