Kripke-Joyal Forcing for Type Theory and Uniform Fibrations