Tweak type-manipulator-finding heuristics

And improve typing of .call and .apply calls.

And handle arguments variable in a slightly better way.

Closes #95