He does it on top of scheme. Have a look at

https://mitpress.mit.edu/books/little-typer