https://5dok.org/document/qmjvx3ww-a-syntax-of-the-simple-theory-of-types.html