An expressive type annotation specification for JS applications - View it on GitHub