Rewrite section on VALUE types

Thanks to @cremno for the insight on RB_TYPE_P.