Change the grammar of defining/declaring a function.

There is also strict arguments' type checking.
Bump to version 0.20.0