A type checking library for Node.js and browser