If you have genuine curiosity about HoTT why not post to the mailing list?

https://groups.google.com/forum/#!forum/homotopytypetheory

You will get answers from real experts with updated views.