Refined primitive types