Add append type

scrapscript.py

···
         ty = infer_type(expr, OP_ENV)
         self.assertTyEqual(ty, list_type(IntType))
 
+    def test_append(self) -> None:
+        expr = parse(tokenize("[1] +< 2"))
+        ty = infer_type(expr, OP_ENV)
+        self.assertTyEqual(ty, list_type(IntType))
+
 
 class SerializerTests(unittest.TestCase):
     def _serialize(self, obj: Object) -> bytes:
···
     "/": Forall([], func_type(IntType, IntType, IntType)),
     "++": Forall([], func_type(StringType, StringType, StringType)),
     ">+": Forall([TyVar("a")], func_type(TyVar("a"), list_type(TyVar("a")), list_type(TyVar("a")))),
+    "+<": Forall([TyVar("a")], func_type(list_type(TyVar("a")), TyVar("a"), list_type(TyVar("a")))),
 }