"A survey of homotopy type theory"