Fix more tests

crates/compiler/uitest/tests/ability/smoke/decoder.txt

@@ -4,10 +4,10 @@ MDecodeError : [TooShort, Leftover (List U8)]
 
 MDecoder val fmt := List U8, fmt -> { result: Result val MDecodeError, rest: List U8 } where fmt implements MDecoderFormatting
 
-MDecoding has
+MDecoding implements
     decoder : MDecoder val fmt where val implements MDecoding, fmt implements MDecoderFormatting
 
-MDecoderFormatting has
+MDecoderFormatting implements
     u8 : MDecoder U8 fmt where fmt implements MDecoderFormatting
 
 decodeWith : List U8, MDecoder val fmt, fmt -> { result: Result val MDecodeError, rest: List U8 } where fmt implements MDecoderFormatting

crates/compiler/uitest/tests/ability/smoke/encoder.txt

@@ -2,10 +2,10 @@ app "test" provides [myU8Bytes] to "./platform"
 
 MEncoder fmt := List U8, fmt -> List U8 where fmt implements Format
 
-MEncoding has
+MEncoding implements
   toEncoder : val -> MEncoder fmt where val implements MEncoding, fmt implements Format
 
-Format has
+Format implements
   u8 : U8 -> MEncoder fmt where fmt implements Format
 
 appendWith : List U8, MEncoder fmt, fmt -> List U8 where fmt implements Format

crates/compiler/uitest/tests/ability/specialize/dec_hash.txt

@@ -2,4 +2,4 @@ app "test" provides [main] to "./platform"
 
 main =
     \h -> Hash.hash h 1.1dec
-    #     ^^^^^^^^^ Hash#Hash.hash(1): a, Dec -[[Hash.hashDec(17)]]-> a | a has Hasher
+    #     ^^^^^^^^^ Hash#Hash.hash(1): a, Dec -[[Hash.hashDec(17)]]-> a where a implements Hasher

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-F has f : a -> (b -> {}) where a implements F, b implements G
-G has g : b -> {} where b implements G
+F implements f : a -> (b -> {}) where a implements F, b implements G
+G implements g : b -> {} where b implements G
 
 Fo := {} implements [F {f}]
 f = \@Fo {} -> g

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_bound_output.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-F has f : a -> ({} -> b) where a implements F, b implements G
-G has g : {} -> b where b implements G
+F implements f : a -> ({} -> b) where a implements F, b implements G
+G implements g : {} -> b where b implements G
 
 Fo := {} implements [F {f}]
 f = \@Fo {} -> g

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_branching_over_single_variable.txt

@@ -1,7 +1,7 @@
 app "test" provides [f] to "./platform"
 
-J has j : j -> (k -> {}) where j implements J, k implements K
-K has k : k -> {} where k implements K
+J implements j : j -> (k -> {}) where j implements J, k implements K
+K implements k : k -> {} where k implements K
 
 C := {} implements [J {j: jC}]
 jC = \@C _ -> k

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_varying_over_multiple_variables.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-J has j : j -> (k -> {}) where j implements J, k implements K
-K has k : k -> {} where k implements K
+J implements j : j -> (k -> {}) where j implements J, k implements K
+K implements k : k -> {} where k implements K
 
 C := {} implements [J {j: jC}]
 jC = \@C _ -> k
@@ -19,14 +19,14 @@ f = \flag, a, b ->
 #             ^ j where j implements J
 #          ^ j where j implements J
     it =
-#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 has J, k implements K
+#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 implements J, k implements K
         when flag is
             A -> j a
-            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j:j(2):2 + j1:j(2):2]-> {}) where j implements J, j1 has J, k implements K
+            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j:j(2):2 + j1:j(2):2]-> {}) where j implements J, j1 implements J, k implements K
             B -> j b
-            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j1:j(2):2 + j:j(2):2]-> {}) where j implements J, j1 has J, k implements K
+            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j1:j(2):2 + j:j(2):2]-> {}) where j implements J, j1 implements J, k implements K
     it
-#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 has J, k implements K
+#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 implements J, k implements K
 
 main = (f A (@C {}) (@D {})) (@E {})
 #       ^ [A, B], C, D -[[f(11)]]-> (E -[[k(10)]]-> {})

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_varying_over_multiple_variables_two_results.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-J has j : j -> (k -> {}) where j implements J, k implements K
-K has k : k -> {} where k implements K
+J implements j : j -> (k -> {}) where j implements J, k implements K
+K implements k : k -> {} where k implements K
 
 C := {} implements [J {j: jC}]
 jC = \@C _ -> k
@@ -23,14 +23,14 @@ f = \flag, a, b ->
 #             ^ j where j implements J
 #          ^ j where j implements J
     it =
-#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 has J, k implements K
+#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 implements J, k implements K
         when flag is
             A -> j a
-            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j:j(2):2 + j1:j(2):2]-> {}) where j implements J, j1 has J, k implements K
+            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j:j(2):2 + j1:j(2):2]-> {}) where j implements J, j1 implements J, k implements K
             B -> j b
-            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j1:j(2):2 + j:j(2):2]-> {}) where j implements J, j1 has J, k implements K
+            #    ^ J#j(2): j -[[] + j:j(2):1]-> (k -[[] + j1:j(2):2 + j:j(2):2]-> {}) where j implements J, j1 implements J, k implements K
     it
-#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 has J, k implements K
+#   ^^ k -[[] + j:j(2):2 + j1:j(2):2]-> {} where j implements J, j1 implements J, k implements K
 
 main =
 #^^^^{-1} {}

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_with_deep_specialization_and_capture.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-F has f : a, b -> ({} -> ({} -> {})) where a implements F, b implements G
-G has g : b -> ({} -> {}) where b implements G
+F implements f : a, b -> ({} -> ({} -> {})) where a implements F, b implements G
+G implements g : b -> ({} -> {}) where b implements G
 
 Fo := {} implements [F {f}]
 f = \@Fo {}, b -> \{} -> g b

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_with_let_weakened.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-F has f : a -> (b -> {}) where a implements F, b implements G
-G has g : b -> {} where b implements G
+F implements f : a -> (b -> {}) where a implements F, b implements G
+G implements g : b -> {} where b implements G
 
 Fo := {} implements [F {f}]
 f = \@Fo {} -> g

crates/compiler/uitest/tests/ability/specialize/polymorphic_lambda_set_specialization_with_let_weakened_unapplied.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-F has f : a -> (b -> {}) where a implements F, b implements G
-G has g : b -> {} where b implements G
+F implements f : a -> (b -> {}) where a implements F, b implements G
+G implements g : b -> {} where b implements G
 
 Fo := {} implements [F {f}]
 f = \@Fo {} -> g

crates/compiler/uitest/tests/ability/specialize/resolve_lambda_set_ability_chain.txt

@@ -1,7 +1,7 @@
 app "test" provides [main] to "./platform"
 
-Id1 has id1 : a -> a where a implements Id1
-Id2 has id2 : a -> a where a implements Id2
+Id1 implements id1 : a -> a where a implements Id1
+Id2 implements id2 : a -> a where a implements Id2
 
 A := {} implements [Id1 {id1}, Id2 {id2}]
 id1 = \@A {} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_lambda_set_branches_ability_vs_non_ability.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Id has id : a -> a where a implements Id
+Id implements id : a -> a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_lambda_set_branches_same_ability.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Id has id : a -> a where a implements Id
+Id implements id : a -> a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_lambda_set_generalized_ability_alias.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Id has id : a -> a where a implements Id
+Id implements id : a -> a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_lambda_set_weakened_ability_alias.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Id has id : a -> a where a implements Id
+Id implements id : a -> a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_mutually_recursive_ability_lambda_sets.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Bounce has
+Bounce implements
     ping : a -> a where a implements Bounce
     pong : a -> a where a implements Bounce
 

crates/compiler/uitest/tests/ability/specialize/resolve_mutually_recursive_ability_lambda_sets_inferred.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Bounce has
+Bounce implements
     ping : a -> a where a implements Bounce
     pong : a -> a where a implements Bounce
 

crates/compiler/uitest/tests/ability/specialize/resolve_recursive_ability_lambda_set.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Diverge has diverge : a -> a where a implements Diverge
+Diverge implements diverge : a -> a where a implements Diverge
 
 A := {} implements [Diverge {diverge}]
 

crates/compiler/uitest/tests/ability/specialize/resolve_two_unspecialized_lambda_sets_in_one_lambda_set.txt

@@ -3,7 +3,7 @@ app "test" provides [main] to "./platform"
 
 Thunk a : {} -> a
 
-Id has id : a -> Thunk a where a implements Id
+Id implements id : a -> Thunk a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> \{} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_unspecialized_lambda_set_behind_alias.txt

@@ -3,7 +3,7 @@ app "test" provides [main] to "./platform"
 
 Thunk a : {} -> a
 
-Id has id : a -> Thunk a where a implements Id
+Id implements id : a -> Thunk a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> \{} -> @A {}

crates/compiler/uitest/tests/ability/specialize/resolve_unspecialized_lambda_set_behind_opaque.txt

@@ -3,7 +3,7 @@ app "test" provides [main] to "./platform"
 
 Thunk a := {} -> a
 
-Id has id : a -> Thunk a where a implements Id
+Id implements id : a -> Thunk a where a implements Id
 
 A := {} implements [Id {id}]
 id = \@A {} -> @Thunk (\{} -> @A {})

crates/compiler/uitest/tests/ability/specialize/static_specialization.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-Default has default : {} -> a where a implements Default
+Default implements default : {} -> a where a implements Default
 
 A := {} implements [Default {default}]
 default = \{} -> @A {}

crates/compiler/uitest/tests/instantiate/call_generic_ability_member.txt

@@ -1,6 +1,6 @@
 app "test" provides [main] to "./platform"
 
-X has
+X implements
   consume : a -> {} where a implements X
 
 O := {} implements [X {consume: consumeO}]