We want to thank Thierry Coquand, Lena Magnusson and Johan Nordlander for all their efforts put into this project.