Add link to "Higher Inductive Types as Homotopy-Initial Algebras"