A Colored Khovanov Homotopy Type For Links, And Its Tail For The Unknot - Michael Willis (2016)