pareto 0.74.0 → 0.75.1

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

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -20,8 +20,8 @@ import {
     type,
     typeParameter,
     typeReference,
-} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
-import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+} 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.pareto_4gl_type_system"
 
 const d = pd.d
 
@@ -46,68 +46,68 @@ export const $: g_glossary.D.Data__Glossary = {
         }),
         'data types': d({
             "Library": type(group({
-                "public": member(component(typeReference("Module Set"))),
-                "private": member(component(typeReference("Module Set"))),
+                "public": prop(component(typeReference("Module Set"))),
+                "private": prop(component(typeReference("Module Set"))),
             })),
             "Module Set": type(dictionary(component(typeReference("Module")))),
             "Module": type(dictionary(component(typeReference("Algorithm")))),
             "Algorithm": type(group({
-                "location": member(component(typeReference("Source Location"))),
-                "tests": member(optional(dictionary(component(typeReference("Test"))))),
+                "location": prop(component(typeReference("Source Location"))),
+                "tests": prop(optional(dictionary(component(typeReference("Test"))))),
             })),
             "Source Location": type(group({
-                "file": member(text()),
-                "line": member(integer()),
-                "column": member(integer()),
+                "file": prop(text()),
+                "line": prop(integer()),
+                "column": prop(integer()),
             })),
             "Test": type(list(component(typeReference("Error")))),
             "Error": type(stateGroup({
                 "content": component(typeReference("Compare Error"))
             })),
             "Compare Error": type(group({
-                "location": member(component(typeReference("Source Location"))),
-                "path": member(text()),
-                "type": member(stateGroup({
+                "location": prop(component(typeReference("Source Location"))),
+                "path": prop(text()),
+                "type": prop(stateGroup({
                     "wrong number": group({
-                        "found": member(integer()),
+                        "found": prop(integer()),
                     }),
                     "wrong text": group({
-                        "found": member(text()),
+                        "found": prop(text()),
                     }),
                     "wrong boolean": group({
-                        "found": member(boolean())
+                        "found": prop(boolean())
                     }),
                     "optional value expected not to be set": nothing(),
                     "optional value expected to be set": nothing(),
                     "not the right state": group({
-                        "found": member(text())
+                        "found": prop(text())
                     }),
                     "not enough elements": nothing(),
                     "too many elements": nothing(),
                     "superfluous entries": group({
-                        "keys": member(dictionary(nothing()))
+                        "keys": prop(dictionary(nothing()))
                     }),
                     "missing dictionary entry": group({
-                        "key": member(text()),
+                        "key": prop(text()),
                     }),
                 })),
 
             })),
             "Summary": type(group({
-                "number of tests": member(integer()),
-                "number of missing tests": member(integer()),
-                "number of errors": member(integer()),
+                "number of tests": prop(integer()),
+                "number of missing tests": prop(integer()),
+                "number of errors": prop(integer()),
             })),
 
             "intLibrary": type(group({
-                "public": member(component(typeReference("intModule Set"))),
-                "private": member(component(typeReference("intModule Set"))),
+                "public": prop(component(typeReference("intModule Set"))),
+                "private": prop(component(typeReference("intModule Set"))),
             })),
             "intModule Set": type(dictionary(component(typeReference("intModule")))),
             "intModule": type(dictionary(component(typeReference("intAlgorithm")))),
             "intAlgorithm": type(group({
-                "location": member(component(typeReference("Source Location"))),
-                "status": member(stateGroup({
+                "location": prop(component(typeReference("Source Location"))),
+                "status": prop(stateGroup({
                     "no tests": nothing(),
                     "skipped": nothing(),
                     "has tests": dictionary(component(typeReference("intTest"))),
@@ -124,25 +124,25 @@ export const $: g_glossary.D.Data__Glossary = {
                 "success": nothing(), // green
             })),
             "annotatedLibrary": type(group({
-                "public": member(component(typeReference("annotatedModule Set"))),
-                "private": member(component(typeReference("annotatedModule Set"))),
+                "public": prop(component(typeReference("annotatedModule Set"))),
+                "private": prop(component(typeReference("annotatedModule Set"))),
             })),
             "annotatedModule Set": type(group({
-                "status": member(component(typeReference("annotatedStatus"))),
-                "modules": member(dictionary(component(typeReference("annotatedModule")))),
+                "status": prop(component(typeReference("annotatedStatus"))),
+                "modules": prop(dictionary(component(typeReference("annotatedModule")))),
             })),
             "annotatedModule": type(group({
-                "status": member(component(typeReference("annotatedStatus"))),
-                "algorithms": member(dictionary(component(typeReference("annotatedAlgorithm")))),
+                "status": prop(component(typeReference("annotatedStatus"))),
+                "algorithms": prop(dictionary(component(typeReference("annotatedAlgorithm")))),
             })),
             "annotatedAlgorithm": type(group({
-                "location": member(component(typeReference("Source Location"))),
-                "status": member(component(typeReference("annotatedStatus"))),
-                "tests": member(dictionary(component(typeReference("annotatedTest")))),
+                "location": prop(component(typeReference("Source Location"))),
+                "status": prop(component(typeReference("annotatedStatus"))),
+                "tests": prop(dictionary(component(typeReference("annotatedTest")))),
             })),
             "annotatedTest": type(group({
-                "status": member(component(typeReference("annotatedStatus"))),
-                "errors": member(list(component(typeReference("Error")))),
+                "status": prop(component(typeReference("annotatedStatus"))),
+                "errors": prop(list(component(typeReference("Error")))),
             })),
         }),
     },

package/auto.pareto/auto.dependencies/pareto-pure/glossaries/text.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 = {

package/auto.pareto/auto.dependencies/pareto-pure/glossaries/typescript_intermediate.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 = {
@@ -62,18 +62,18 @@ export const $: g_glossary.D.Data__Glossary = {
                  * typescript sometimes handles empty dictoinaries in impure ways and sometimes doesn't accept a trailing comma.
                  */
                 "line dictionary": group({
-                    "dictionary": member(dictionary(component(typeReference("Line")))),
-                    "if empty": member(component(typeReference("Line"))),
-                    "if not empty": member(group({
-                        "prefix": member(component(typeReference("Line"))),
-                        "suffix": member(component(typeReference("Line"))),
-                        "add commas in between": member(boolean()),
+                    "dictionary": prop(dictionary(component(typeReference("Line")))),
+                    "if empty": prop(component(typeReference("Line"))),
+                    "if not empty": prop(group({
+                        "prefix": prop(component(typeReference("Line"))),
+                        "suffix": prop(component(typeReference("Line"))),
+                        "add commas in between": prop(boolean()),
                     })),
                 }),
             }))),
             "Lines": type(list(group({
-                "indentation": member(integer()),
-                "text": member(text()),
+                "indentation": prop(integer()),
+                "text": prop(text()),
             }))),
         }),
     },

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"))),
     }),
 }