Small typos. OCD-driven development.
Demo page graphical tweaks.
JS: Find local variables for function sources.
Test for return type of functions returning literals.
JS: fixed useless parameter.
JS: refactorization → type detection of lambdas.

Lambdas = anonymous functions.
Test for detecting types of assigned lambdas.
JS: sandbox checks for invalid input.
Static: Omit needless parameter to getStaticScope.
Static: separated finding "this" properties.
Static: see assigned lambdas.
JS: Test assigned lambdas.
Static analysis sees function parameters' type.
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.
Static: code out of loop

That code didn't need to be in the loop.
Static: Factor code for call expression.