Only use 4 bits to classify tagged pointers

This leaves 28/60 bits for the value.