pareto 0.73.0 → 0.75.0

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_3gl_high_2_typescript_intermediate/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.pareto_3gl_high.temp_in_between.data"
 import { $ as d_out } from "../../glossaries/typescript_intermediate.data"
@@ -40,14 +40,14 @@ export const $: g_glossary.D.Glossary = {
         'root': {
             'namespaces': d({}),
             'data types': d({
-                "Map Data": type(group({
-                    "compilation unit": member(component(externalTypeReference("in", "Compilation Unit", {}))),
+                "Transform Data": type(group({
+                    "compilation unit": prop(component(externalTypeReference("in", "Compilation Unit", {}))),
                 })),
             }),
         },
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Compilation Unit 2 Block": sfunction(externalTypeReference("out", "Block"), data(typeReference("Map Data"))),
+        "Transform Compilation Unit 2 Block": sfunction(externalTypeReference("out", "Block"), data(typeReference("Transform Data"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_type_system_2_graphviz/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 Glossary 2 Graph": algorithm("Map Glossary 2 Graph", {}),
+        "transform Glossary 2 Graph": algorithm([], "Transform Glossary 2 Graph", {}),
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_type_system_2_graphviz/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_out } from "../../glossaries/auto.graphviz.temp_in_between.data"
 import { $ as d_in } from "../../glossaries/auto.pareto_4gl_type_system.temp_in_between.data"
@@ -44,7 +44,7 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Glossary 2 Graph": sfunction(externalTypeReference("out", "Graph"), data(externalTypeReference("in", "Glossary"))),
+        "Transform Glossary 2 Graph": sfunction(externalTypeReference("out", "Graph"), data(externalTypeReference("in", "Glossary"))),
 
     }),
 }

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

@@ -2,16 +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 Library 2 Blocks": algorithm("Map Library 2 Block", {}),
-
+        "transform Library 2 Block": algorithm([], "Transform Library 2 Block", {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_type_system_2_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_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
 import { $ as d_in } from "../../glossaries/auto.pareto_4gl_type_system.temp_in_between.data"
@@ -45,7 +45,7 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Library 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Library"))),
+        "Transform Library 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Library"))),
 
     }),
 }

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

@@ -2,16 +2,18 @@
 
 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 Library 2 Compilation Unit": algorithm("Map Library 2 Compilation Unit", {}),
+        "transform Library 2 Compilation Unit": algorithm([
+            `transforms a Pareto 4gl Library into a Pareto 3gl high Compilation Unit`,
+        ], "Transform Library 2 Compilation Unit", {}),
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_type_system_2_pareto_3gl_high/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_out } from "../../glossaries/auto.pareto_3gl_high.temp_in_between.data"
 import { $ as d_in } from "../../glossaries/auto.pareto_4gl_type_system.temp_in_between.data"
@@ -40,14 +40,14 @@ export const $: g_glossary.D.Glossary = {
             'namespaces': d({}),
             'data types': d({
                 "Library2ParetoComparatorsData": type(group({
-                    "library": member(component(externalTypeReference("in", "Library"))),
+                    "library": prop(component(externalTypeReference("in", "Library"))),
                 })),
             }),
         },
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Library 2 Compilation Unit": sfunction(externalTypeReference("out", "Compilation Unit"), data(typeReference("Library2ParetoComparatorsData"))),
+        "Transform Library 2 Compilation Unit": sfunction(externalTypeReference("out", "Compilation Unit"), data(typeReference("Library2ParetoComparatorsData"))),
 
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_type_system_2_typescript_intermediate/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 Data Glossary 2 Block": algorithm("Map Data Glossary 2 Block", {   }), 
+        "transform Data Glossary 2 Block": algorithm([], "Transform Data Glossary 2 Block", {   }), 
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_type_system_2_typescript_intermediate/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_out } from "../../glossaries/typescript_intermediate.data"
 import { $ as d_in } from "../../glossaries/auto.pareto_4gl_type_system.temp_in_between.data"
@@ -45,6 +45,6 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Data Glossary 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Data Glossary"))),
+        "Transform Data Glossary 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Data Glossary"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_typescript_2_fountain_pen_directory/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 Library 2 Directory": algorithm("Map Library 2 Directory", {}),
+        "transform Library 2 Directory": algorithm([], "Transform Library 2 Directory", {}),
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_4gl_typescript_2_fountain_pen_directory/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_out } from "../../glossaries/fountain_pen_directory.data"
 import { $ as d_in } from "../../glossaries/auto.pareto_4gl_typescript.temp_in_between.data"
@@ -42,15 +42,15 @@ export const $: g_glossary.D.Glossary = {
             'namespaces': d({}),
             'data types': d({
                 "In": type(group({
-                    "$": member(component(externalTypeReference("in", "Typescript Package"))),
-                    "library": member(component(externalTypeReference("cts", "Library"))),
+                    "$": prop(component(externalTypeReference("in", "Typescript Package"))),
+                    "library": prop(component(externalTypeReference("cts", "Library"))),
                 }))
             }),
         },
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Library 2 Directory": sfunction(externalTypeReference("out", "Directory"), data(typeReference("In"))),
+        "Transform Library 2 Directory": sfunction(externalTypeReference("out", "Directory"), data(typeReference("In"))),
 
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/semantic_versioning_from_text/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 Semantic Version from Text": algorithm("Map Semantic Version from Text", {}),
+        "transform Semantic Version from Text": algorithm([
+            `transforms a text into a semantic version type`,
+        ], "Transform Semantic Version from Text", {}),
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/semantic_versioning_from_text/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/text.data"
 import { $ as d_out } from "../../glossaries/auto.semantic_versioning.temp_in_between.data"
@@ -44,6 +44,6 @@ export const $: g_glossary.D.Glossary = {
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map Semantic Version from Text": sfunction(externalTypeReference("out", "Semantic Version"), data(externalTypeReference("in", "Text"))),
+        "Transform Semantic Version from Text": sfunction(externalTypeReference("out", "Semantic Version"), data(externalTypeReference("in", "Text"))),
     }),
 }

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

@@ -1,24 +1,24 @@
 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 d_glos } from "./glossary.data"
 
 export const $: g_project.D.API = api(
     d_glos,
     {
-        "annotateTestResult": algorithm("Annotate TestResult", {}),
-        "serializeSummary": algorithm("Serialize Summary", {
+        "annotateTestResult": algorithm([], "Annotate TestResult", {}),
+        "serializeSummary": algorithm([], "Serialize Summary", {
             // "add": libDep("pareto-standard-impure-library", "arithmetic", "Add", {}),
             // "isZero": libDep("pareto-standard-impure-library", "numerical__predicates", "IsZero", {}),
             // "negate": libDep("pareto-standard-impure-library", "arithmetic", "Negate", {}),
         }),
-        "serializeTestResult": algorithm("Serialize TestResult", {
+        "serializeTestResult": algorithm([], "Serialize TestResult", {
             // "dictionaryForEach": libDep("pareto-standard-impure-library", "foreach", "DictionaryForEach", {}),
         }),
-        "summarize": algorithm("Summarize", {}),
+        "summarize": algorithm([], "Summarize", {}),
 
     }
 )

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

@@ -10,7 +10,7 @@ import {
     imp,
     integer,
     list,
-    member,
+    prop,
     nothing,
     optional,
     parametrizedType,
@@ -25,9 +25,9 @@ import {
     sInterface,
     sInterfaceMethod,
     sInterfaceReference,
-} 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
 
@@ -53,70 +53,70 @@ export const $: g_glossary.D.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()),
                 })),
 
                 "String": type(text()),
 
                 "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"))),
@@ -133,25 +133,25 @@ export const $: g_glossary.D.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-standard-library/$.data.ts

@@ -1,9 +1,9 @@
 import * as pd from 'pareto-core-data'
 
-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"
 
 const d = pd.d
-import { } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+import { } from "pareto-pure/auto.dist/public/shorthands/pareto_4gl_type_system.sh"
 
 import { $ as d_array } from "./modules/array/api.data"
 import { $ as d_boolean } from "./modules/boolean/api.data"

package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/api.data.ts

@@ -1,20 +1,37 @@
 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,
     {
-        "flattenArrayOfArrays": algorithm("FlattenArrayOfArrays", {}),
-        "append": algorithm("Append", {}),
-        "prepend": algorithm("Prepend", {}),
-        "zip": algorithm("Zip", {}),
-        "flattenTree": algorithm("FlattenTree", {}),
-        "unsafeSortTopologically": algorithm("SortTopologically", {}),
+        "flattenArrayOfArrays": algorithm([
+            `flatten an array of arrays`,
+        ], "FlattenArrayOfArrays", {}),
+        "append": algorithm([
+            `append an element to the end of an array`,
+        ], "Append", {}),
+        "prepend": algorithm([
+            `prepend an element to the beginning of an array`
+        ], "Prepend", {}),
+        "zip": algorithm([
+            `zip two arrays together`,
+            `the length of the resulting array is the length of the shortest input array`
+        ], "Zip", {}),
+        "flattenTree": algorithm([
+            `flatten a tree of values`,
+            `every node can be either an array, nothing or a value`
+        ], "FlattenTree", {}),
+        "unsafeSortTopologically": algorithm([
+            `sort a dictionary topologically`,
+            `the dictionary entries contains a value and a dictionary without values (only keys) that represent the dependencies`,
+            `if a circular dependency is detected, a panic is thrown`,
+            `the result is an array of key/value pairs`
+        ], "SortTopologically", {}),
 
     }
 )