Homotopy Type Theory Latest Revisions