JS: type analysis of function call parameters

In direct calls only for now.
Ie, `foo(bar)`, but not `var res = foo(bar)`.
Test for detecting argument types in direct calls.