Convenient high-performance type-checking for JavaScript