Release 3.0

Complete support for variadic functions.
Lambda argument type autoinference.
Partial application and closures completely redone.
A few syntactic improvements and fixes.