Instead, we now store the ghostness boolean directly
in pvsymbols, pssymbols, ppatterns, and exprs. We thus
remove one level of indirection, and vty_value becomes
a one-field record which we remove in the next commit.