Optional type param restriction

[soutaro]

Introduce another restriction to default types of generics type parameters. default types cannot depend on optional type params.

# T is required type parameter.
# The default type of S depends on required type parameter => OK
# The default type of U depends on another optional type parameter S => Error
class Foo[T, S = T, U = S?]
end