Qualifying Imports.

This is needed later to get `setoid_rewrite` to work.