Type Refinement and Monoidal Closed Bifibrations