Remove check for present name in terms that are imported. If we do such validation, we need to do this on a more pluggable level.

  type.