Text this: On the Mints Hierarchy in First-Order Intuitionistic Logic