Vim plugin for displaying type annotations of TypeScript programs produced by [nano-js] (https://github.com/UCSD-PL/nano-js)