Une Théorie des constructions, Thierry Coquand · Super Livre