sema: add array support to dynamic type annotation

std/jule/sema/type2.jule

@@ -495,6 +495,16 @@ impl DynamicTypeAnnotation {
         ret self.annotate_any(k)
     }
 
+    unsafe fn annotate_arr(mut self, mut &k: &TypeKind): (ok: bool) {
+        let mut parr = (*self.k).arr()
+        if parr == nil {
+            ret false
+        }
+        let mut arr = k.arr()
+        self.k = &parr.elem
+        ret self.annotate_kind(arr.elem)
+    }
+
     unsafe fn annotate_slc(mut self, mut &k: &TypeKind): (ok: bool) {
         let mut pslc = (*self.k).slc()
         if pslc == nil {
@@ -626,6 +636,8 @@ impl DynamicTypeAnnotation {
             ret true
         | k.prim() != nil:
             ret self.annotate_prim(k)
+        | k.arr() != nil:
+            ret self.annotate_arr(k)
         | k.slc() != nil:
             ret self.annotate_slc(k)
         | k.map() != nil: