Fix typing rule of administrative delegate.

This is not the suggestion given in that last review of WebAssembly#143:
https://github.com/WebAssembly/exception-handling/pull/143/files#r759907998

but a potential fix of the issue raised there.

Author: ioannad

proposals/exception-handling/Exceptions-formal-overview.md

@@ -84,7 +84,7 @@ C ⊢ try bt instr* (catch x instr'*)* (catch_all instr''*)? end : [t1*]→[t2*]
 
 C ⊢ bt : [t1*]→[t2*]
 C, labels [t2*] ⊢ instr* : [t1*]→[t2*]
-C.labels[l] = [t*]
+|C.labels| ≥ l
 -------------------------------------------
 C ⊢ try bt instr* delegate l : [t1*]→[t2*]
 ```
@@ -206,7 +206,7 @@ S;C, labels [t*] ⊢ instr* : []→[t*]
 S;C, labels [t*] ⊢ catch{a? instr'*}* instr* end : []→[t*]
 
 S;C, labels [t*] ⊢ instr* : []→[t*]
-C.labels[l] = [t'*]
+|C.labels| ≥ l
 ------------------------------------------------------
 S;C, labels [t*] ⊢ delegate{l} instr* end : []→[t*]