Text this: Functional-Type Caristi–Kirk Theorem on Menger Space and Application