Add type inference for calls
Check arguments length