The Compatibility of the Minimalist Foundation With Homotopy Type Theory