Added some todos to the applications chapter and added some figures to the HoTT intro chapter.