Internal ∞-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT