refactor fcf unroll (#147)

this PR address a few issues in previous #130 

1. this should be called unroll instead of inline because it does not
inline an existing stdlib function.
2. #130 only supports the case when collection is a constant, this
resolves the case when constant propagation fails (e.g `fn` is not pure)
but fails when collection has a constant length but unknown (which is
why this rewrite is called unroll)

so now this rewrite relys on type parameter of `IList` which indicates
the size of the immutable list, thus `Map` etc. can be unrolled without
knowning how this list was constructed. (thanks to type inference on
generics)

```python
%3 = ilist.Map(%fn, %coll)

# get unrolled to

%v_1 = indexing.GetItem(%coll, 0)
%3 = func.call(%fn, %v_0)
%v_2 = indexing.GetItem(%coll, 1)
%4 = func.call(%fn, %v_1)
%v_3 = indexing.GetItem(%coll, 2)
%5 = func.call(%fn, %v_2)
```

then in the case `%coll = ilist.New(...)` the `GetItem` inlining pass
will replace getitem with the `SSAValue` referring to the element
directly.


cc: @kaihsin

Author: Roger-luo

src/kirin/dialects/fcf/__init__.py

@@ -112,7 +112,7 @@ class Call(Statement):
     # not a fixed type here so just any
     callee: SSAValue = info.argument()
     inputs: tuple[SSAValue, ...] = info.argument()
-    kwargs: tuple[str, ...] = info.attribute(property=True)
+    kwargs: tuple[str, ...] = info.attribute(default_factory=lambda: (), property=True)
     result: ResultValue = info.result()
 
     def print_impl(self, printer: Printer) -> None:

src/kirin/dialects/fcf/dialect.py

@@ -5,13 +5,21 @@
 to Python's built-in list type.
 """
 
-from . import interp as interp, lowering as lowering, typeinfer as typeinfer
+from . import (
+    interp as interp,
+    rewrite as rewrite,
+    lowering as lowering,
+    typeinfer as typeinfer,
+)
 from .stmts import (
     Map as Map,
     New as New,
+    Push as Push,
     Scan as Scan,
-    FoldL as FoldL,
-    FoldR as FoldR,
+    Foldl as Foldl,
+    Foldr as Foldr,
     ForEach as ForEach,
+    IListType as IListType,
 )
+from .runtime import IList as IList
 from ._dialect import dialect as dialect