Local imports and type aliases

[MateuszKubuszok]

Figure out if issues like:

• type checker complains if you use type aliases from the same compilation unit

  type X = cats.Eq; val X = cats.Eq
  @Semi(X) final case class Test(a: String)
  // scala.reflect.macros.TypecheckException: not found: type X

• same if you rename type during import

  import cats.{ Eq => X }
  @Semi(X) final case class Test(a: String)
  // scala.reflect.macros.TypecheckException: not found: type X

can be fixed.

Currently marked as known issues, but I have no idea how to approach it.