Also, it remains unclear how you expect to support parametric polymorphism if you're assuming JavaScript as a base language for your analysis.
ESDoc is JavaScript specific, but the concept of relying on comments to infer types is not, nor is the JSON format we store function execution information in. :)
(Well, I mean, we rely on JavaScript-translatable types — but can create parallels to other runtimes and languages.)