Inferring func annots from TS
Fix in anon func annotations

  - TODO: anonyomus function types are not K-vared !!!
K-varing anon func types at definition
Merge pull request #4 from UCSD-PL/d3

Inferring function signatures from TS types