Reports types that could be simplified.

Example:


  def test: ({type l[a] = Either[String, a]})#l[Int] = ???

After the quick-fix is applied:


  def test: Either[String, Int] = ???