add composite simplifaction

core/types.go

@@ -487,6 +487,27 @@ func quickComposite(a ...TypeSignature) TypeSignature {
 	return s
 }
 
+func simplifyComposite(a TypeSignature) TypeSignature {
+	var atoms []TypeSignature
+
+	s := NewStack[TypeSignature](16)
+	s.Push(a)
+
+	for s.Current > 0 {
+		i := s.Pop()
+
+		c, ok := i.(*CompositeSignature)
+		if !ok {
+
+			atoms = append(atoms, i)
+		} else {
+			s.Push(c.A, c.B)
+		}
+	}
+
+	return quickComposite(atoms...)
+}
+
 type InnerSignature struct{}
 
 func (*InnerSignature) Type() Type {