I guess we need a more precise term for "value class" now that `AnyVal` is no longer sealed. "Primitive value class"?