Allow cyclic references in opaque type definition

[scf37]

trait Foo[T <: Foo[T]]

class A extends Foo[A]

opaque type B <: Foo[B] = A

Currently there is no easy way to define opaque type B extending Foo[B]