Fix isUnboundedGeneric for alias types.

Fixes problem in test case SI-7638a.scala which gave an
override error before.
Removed dead code.

isUnboundedGeneric imples !JavaDefined anyway.
Harden implicit scope computation against CyclicReference errors.
New passing tests.