Lightweight type check library for JavaScript