Avoid spurious warnings about forward references in refinements

The warning was triggered by cases like:
class A
type F = A { type T = Int; def f: T }
Which is treated differently from the following which did not produce a warning:
type F = A { type T = Int } { def f: T }

Review by @odersky 
Since it's a mutable set, can be a val, not a var.