Allow inferred flex vars inside type constructors bound to an ability

[ayazhafiz]

Supports stuff like

decoded = Str.toUtf8 "{\"first\":\"ab\",\"second\":\"cd\"}" |> Decode.fromBytes Json.fromUtf8
when decoded is
    Ok rcd -> Str.concat rcd.first rcd.second
    _ -> "something went wrong"