Finalize Type Inference #81
Description
- List pattern matching ✅ ((feat) Array Decomposition Type Inference #91 )
- Generics ✅ ((feat) Generic Types #92 and (feat) Add Type Bounds #98 ) ⚠ some bugs with higher-order functions for very complex functions
- Concatenation for maps