HoTT for ordinary mortals