Good code red: Cyclic traits with types defined in base trait doesn't compile

Bug# SCL-2393 

Consider:

it IJTest {
  self : MySub =>

  type FooType

  protected implicit def d : FooType // <- Error on "FooType".  Commenting out the self: MySub above causes things to work.
}

trait MySub extends IJTest {
  type FooType = Long
}