pareto 0.73.0 → 0.75.0

package/auto.pareto/auto.dependencies/pareto-pure/glossaries/xml.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,9 +20,9 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 export const $: g_glossary.D.Data__Glossary = {
@@ -35,20 +35,20 @@ export const $: g_glossary.D.Data__Glossary = {
         'data types': d({
 
             "Document": type(group({
-                "root": member(component(typeReference("Element"))),
+                "root": prop(component(typeReference("Element"))),
             })),
             "Element": type(group({
-                "id": member(text()),
-                "attributes": member(dictionary(text())),
-                "type": member(stateGroup({
+                "id": prop(text()),
+                "attributes": prop(dictionary(text())),
+                "type": prop(stateGroup({
                     "mixed": group({
-                        "children": member(list(stateGroup({
+                        "children": prop(list(stateGroup({
                             "text": text(),
                             "element": component(typeReference("Element"))
                         })))
                     }),
                     "elements": group({
-                        "children": member(list(component(typeReference("Element"))))
+                        "children": prop(list(component(typeReference("Element"))))
                     })
                 }))
             })),

package/auto.pareto/auto.dependencies/pareto-pure/modules/alan_light_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts

@@ -1,8 +1,8 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
@@ -14,6 +14,8 @@ export const $: g_project.D.API = api(
          * Serialization to this format can be done in a pure way.
          * serialization from this format to an array of strings is not pure, specifically for 1 reason so far: apostrophed strings.
          */
-        "map Root 2 Block": algorithm("Map Root 2 Block", {}),
+        "transform Root 2 Block": algorithm([
+            `transforms an Alan light model into a fountain pen block`,
+        ], "Transform Root 2 Block", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/alan_light_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,12 +20,12 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
 import { $ as d_in } from "../../glossaries/auto.alan_light.temp_in_between.data"
 import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
@@ -43,7 +43,7 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Root 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Root"))),
+        "Transform Root 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Root"))),
     }),
 
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/astn_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts

@@ -1,14 +1,14 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
 export const $: g_project.D.API = api(
     glos,
     {
-        "map Value 2 Block": algorithm("Map Value 2 Block", {}),
+        "transform Value 2 Block": algorithm([], "Transform Value 2 Block", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/astn_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,9 +20,9 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as d_in } from "../../glossaries/astn.data"
 import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
@@ -47,6 +47,6 @@ export const $: g_glossary.D.Glossary = {
 
     }),
     'algorithm types': d({
-        "Map Value 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Value"))),
+        "Transform Value 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Value"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_indented_file_2_fountain_pen_indented_file/api.data.ts

@@ -2,15 +2,15 @@
 
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
 export const $: g_project.D.API = api(
     glos,
     {
-        "map Block 2 Lines": algorithm("Map Block 2 Lines", {}),
+        "transform Block 2 Lines": algorithm([], "Transform Block 2 Lines", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_indented_file_2_fountain_pen_indented_file/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,9 +20,9 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
@@ -40,7 +40,7 @@ export const $: g_glossary.D.Glossary = {
             'namespaces': d({}),
             'data types': d({
                 // "SerializeData": type(group({
-                //     "block": member(component(externalTypeReference("in", "Block"))),
+                //     "block": prop(component(externalTypeReference("in", "Block"))),
                 // })),
                 // "String": type(text()),
             }),
@@ -48,6 +48,6 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Block 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(externalTypeReference("in", "Block"))),
+        "Transform Block 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(externalTypeReference("in", "Block"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_lines_2_lines/api.data.ts

@@ -2,16 +2,16 @@
 
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
 export const $: g_project.D.API = api(
     glos,
     {
-        "map Lines 2 Lines": algorithm("Map Lines 2 Lines", {}),
-        "stream": algorithm("Stream", {}),
+        "transform Lines 2 Lines": algorithm([], "Transform Lines 2 Lines", {}),
+        "stream": algorithm([], "Stream", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_lines_2_lines/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -26,9 +26,9 @@ import {
     aInterfaceReference,
     infInit,
     streamconsumer,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
@@ -45,8 +45,8 @@ export const $: g_glossary.D.Glossary = {
             'namespaces': d({}),
             'data types': d({
                 "IndentData": type(group({
-                    "lines": member(component(externalTypeReference("in", "Lines"))),
-                    "indentation": member(text()),
+                    "lines": prop(component(externalTypeReference("in", "Lines"))),
+                    "indentation": prop(text()),
                 })),
                 "String": type(text()),
             }),
@@ -57,7 +57,7 @@ export const $: g_glossary.D.Glossary = {
         "Indented Lines": aInterface(streamconsumer(aInterfaceMethod(typeReference("String")), null)),
     }),
     'algorithm types': d({
-        "Map Lines 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(typeReference("IndentData"))),
+        "Transform Lines 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(typeReference("IndentData"))),
         "Stream": infInit(aInterfaceReference("Lines"), {
             "handler": aInterfaceReference("Indented Lines")
         }),

package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts

@@ -1,8 +1,8 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
@@ -14,6 +14,6 @@ export const $: g_project.D.API = api(
          * Serialization to this format can be done in a pure way.
          * serialization from this format to an array of strings is not pure, specifically for 1 reason so far: apostrophed strings.
          */
-        "map Graph 2 Block": algorithm("Map Graph 2 Block", {}),
+        "transform Graph 2 Block": algorithm([], "Transform Graph 2 Block", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,12 +20,12 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
 import { $ as d_in } from "../../glossaries/auto.graphviz.temp_in_between.data"
 import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
@@ -43,7 +43,7 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Graph 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Graph"))),
+        "Transform Graph 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Graph"))),
     }),
 
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/html_2_xml/api.data.ts

@@ -1,8 +1,8 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
@@ -10,6 +10,8 @@ export const $: g_project.D.API = api(
     glos,
 
     {
-        "map Document 2 Document": algorithm("Map Document 2 Document", {}),
+        "transform Document 2 Document": algorithm([
+            `This algorithm transforms an HTML document into an XML document.`,
+        ], "Transform Document 2 Document", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/html_2_xml/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,9 +20,9 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as d_in } from "../../glossaries/auto.html.temp_in_between.data"
 import { $ as d_out } from "../../glossaries/xml.data"
@@ -45,6 +45,6 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Document 2 Document": sfunction(externalTypeReference("out", "Document"), data(externalTypeReference("in", "Document"))),
+        "Transform Document 2 Document": sfunction(externalTypeReference("out", "Document"), data(externalTypeReference("in", "Document"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_project_2_pareto_3gl_high/api.data.ts

@@ -1,8 +1,8 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
@@ -10,7 +10,9 @@ export const $: g_project.D.API = api(
     glos,
 
     {
-        "map Project 2 Directory": algorithm("Map Project 2 Directory", {}),
+        "transform Project 2 Directory": algorithm([
+            `transforms a liana project into a directory containing pareto 3gl high files`,
+        ], "Transform Project 2 Directory", {}),
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_project_2_pareto_3gl_high/glossary.data.ts

@@ -5,9 +5,9 @@ import {
     sfunction,
     externalTypeReference,
     imp,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as d_in } from "../../glossaries/liana_project.data"
 import { $ as d_out } from "../../glossaries/auto.pareto_3gl_high.temp_in_between.data"
@@ -29,6 +29,6 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Project 2 Directory": sfunction(externalTypeReference("out", "Directory"), data(externalTypeReference("in", "Project"))),
+        "Transform Project 2 Directory": sfunction(externalTypeReference("out", "Directory"), data(externalTypeReference("in", "Project"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_schema_2_alan_light/api.data.ts

@@ -1,8 +1,8 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
@@ -10,7 +10,7 @@ export const $: g_project.D.API = api(
     glos,
 
     {
-        "map Model 2 Root": algorithm("Map Model 2 Root", {}),
+        "transform Model 2 Root": algorithm([], "Transform Model 2 Root", {}),
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_schema_2_alan_light/glossary.data.ts

@@ -5,9 +5,9 @@ import {
     sfunction,
     externalTypeReference,
     imp,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as d_in } from "../../glossaries/auto.liana_schema.temp_in_between.data"
 import { $ as d_out } from "../../glossaries/auto.alan_light.temp_in_between.data"
@@ -29,6 +29,6 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Model 2 Root": sfunction(externalTypeReference("out", "Root"), data(externalTypeReference("in", "Model"))),
+        "Transform Model 2 Root": sfunction(externalTypeReference("out", "Root"), data(externalTypeReference("in", "Model"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_schema_2_pareto_3gl_high/api.data.ts

@@ -2,16 +2,16 @@
 
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
 export const $: g_project.D.API = api(
     glos,
     {
-        "createResolver": algorithm("CreateResolver", {}),
-        "createSerializer": algorithm("CreateSerializer", {}),
+        "createResolver": algorithm([], "CreateResolver", {}),
+        "createSerializer": algorithm([], "CreateSerializer", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_schema_2_pareto_3gl_high/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,12 +20,12 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
 import { $ as d_out } from "../../glossaries/auto.pareto_3gl_high.temp_in_between.data"
 import { $ as d_in } from "../../glossaries/auto.liana_schema.temp_in_between.data"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_schema_2_pareto_4gl_type_system/api.data.ts

@@ -2,15 +2,15 @@
 
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
 export const $: g_project.D.API = api(
     glos,
     {
-        "map": algorithm("Map", {}),
+        "map": algorithm([], "Map", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/liana_schema_2_pareto_4gl_type_system/glossary.data.ts

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,13 +20,13 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+} from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
 import { $ as d_out } from "../../glossaries/auto.pareto_4gl_type_system.temp_in_between.data"
 import { $ as d_in } from "../../glossaries/auto.liana_schema.temp_in_between.data"
 import { $ as d_liana_project } from "../../glossaries/liana_project.data"
 
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
@@ -41,31 +41,31 @@ export const $: g_glossary.D.Glossary = {
             'namespaces': d({}),
             'data types': d({
                 "MapData": type(group({
-                    "mapped library": member(component(typeReference("Mapped Library"))),
-                    "settings": member(component(typeReference("Mapping Settings"))),
+                    "mapped library": prop(component(typeReference("Mapped Library"))),
+                    "settings": prop(component(typeReference("Mapping Settings"))),
                 })),
                 "Mapped Library": type(group({
-                    "library": member(component(externalTypeReference("in", "Type Library", {}))),
-                    "terminal mapping": member(component(externalTypeReference("project", "Terminal Mapping"))),
+                    "library": prop(component(externalTypeReference("in", "Type Library", {}))),
+                    "terminal mapping": prop(component(externalTypeReference("project", "Terminal Mapping"))),
                 })),
 
                 "Mapping Settings": type(group({
-                    "annotations": member(boolean()),
-                    "terminal values": member(boolean()),
-                    "constraints": member(optional(stateGroup({
+                    "annotations": prop(boolean()),
+                    "terminal values": prop(boolean()),
+                    "constraints": prop(optional(stateGroup({
                         "optional": group({}),
                         "required": group({}),
                     }))),
-                    // "visitor interface": member(optional(group({
-                    //     "datamodel": member(stateGroup({
+                    // "visitor interface": prop(optional(group({
+                    //     "datamodel": prop(stateGroup({
                     //         "internal": group({}),
                     //         "exernal": group({
-                    //             "location": member(text()),
+                    //             "location": prop(text()),
                     //         }),
                     //     })),
                     // }))),
-                    // "algorithms": member(group({
-                    //     "serialize": member(optional(group({
+                    // "algorithms": prop(group({
+                    //     "serialize": prop(optional(group({
                     //         //data location,
                     //     }))),
                     //     //resolve

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_3gl_high_2_typescript_intermediate/api.data.ts

@@ -1,8 +1,8 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
-import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.pareto_4gl_type_system"
 
 import { $ as glos } from "./glossary.data"
 
@@ -10,6 +10,6 @@ export const $: g_project.D.API = api(
     glos,
 
     {
-        "map Compilation Unit 2 Block": algorithm("Map Compilation Unit 2 Block", {}),
+        "transform Compilation Unit 2 Block": algorithm([], "Transform Compilation Unit 2 Block", {}),
     }
 )