Lambda types in HoTT