This project is not about typing and checking of specific functions, which Kawa
does quite well. It's about typing of function *expressions* and variables - for example
a function-valued parameter in a higher-order function.
I.e. to express things like: "I don't know the value of this variable, but I know it some
(unknown) 2-argument function that takes two ints and returns a boolean."