Type bounds don't take environment into account

[Roldak]

module test {
    using sfsl.lang

    type A = class {}
    type B = class : A {}

    type Box[T] => class {
        def f[X: * < T]() => {}
    }

    def main() => {
        x: Box[A];
        x.f[B]();
    }
}

Doesn't compile: Kind mismatch. Expected * < T, found B < * < B