A very nice and simple type checker for the JavaScript entities.