Mapping identifiers to fully-qualified names according to 'module' and 'use' headers