Check expression arity.
Add argument type inferring.

Does not check that the values are of right type.
Implement type checking.