Add Primitive.is(Type), .isBox(Type), and .flavor(Type). Make a few things public.