javascript: Initial support for checkTypes by closure compiler