Checking provides blocks for unbound identifiers, by collecting the
imported identifiers, the file's definitions, and then checking the provides