Fixed: nested scopes caused an overflow
Added: type inference algorithm can now resolve stuff like var f = function(foo) ... end; f(10)