But then $b will just be a copy of $a->{type}, not a scalar reference to it.

I use a reference so that if I change $b (or $$b), that also changes $a->{type}

In the original context it may make more sense.
Or it may not.
I'm still in the midst of things there

Missed the strike-out by half a second...