Remove WS_VALUE_TYPE_NAMED zombies

We removed this type earlier this week, but I forgot to remove these
code fragments.