Somewhere for me to play with writing my own language. Somewhere for me and others to play with primitive recursive functions. Normally, when reading examples of PRFs, the types are implicit. We'll ...