Error reporting bug for bounded type variables lambda

[wongjiahau]

t## Input

// entry.keli
List.of(A Type) = choice
    .Nil    
    .Cons($.value(A) next(List.of(A)))

{A Type}
(this List.of(A)).append(element A) | List.of(A) = List.Nil

{A Type}
(this $.x(List.of(A))).yo =
    this.x(.append(0))

Expected output

ERROR at ./test/specs/execute/@type-mismatch-1/entry.keli:11:25

    Expected `A` but got `Int` around `.append(0)`