An Isbell Duality Theorem for Type Refinement Systems