Implement `implements`.

This requires a new function that figures out how to import the implemented interface.