Remove potentially unused imports (heuristic)

Removes imports where the imported simple name does not appear in the rest of the file. Imports of implicit definitions and imports that can't be resolved are kept, since they may be used implicitly. This is an approximate heuristic and may produce false positives.