To have an externs file as accurate as possible, we also need to use types that are provided by the Closure library.