diff --git a/Doxyfile b/Doxyfile
index 6cedb0e..37dd235 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = "Post Scarcity"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         =
+PROJECT_NUMBER         = 0.1.0
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a
@@ -943,7 +943,7 @@ WARN_LOGFILE           = tmp/doxy.log
 # spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
 # Note: If this tag is empty the current directory is searched.
 
-INPUT                  = src \
+INPUT                  = src/c \
                          docs \
                          lisp
 
diff --git a/doxyresources/customdoxygen.css b/doxyresources/customdoxygen.css
index 009a9b5..52ec126 100644
--- a/doxyresources/customdoxygen.css
+++ b/doxyresources/customdoxygen.css
@@ -2,156 +2,156 @@
 
 html {
 /* page base colors */
---page-background-color: white;
---page-foreground-color: black;
---page-link-color: #3D578C;
---page-visited-link-color: #4665A2;
+--page-background-color: #ffffff;
+--page-foreground-color: #000000;
+--page-link-color: #204080;
+--page-visited-link-color: #4060a0;
 
 /* index */
---index-odd-item-bg-color: #F8F9FC;
---index-even-item-bg-color: white;
---index-header-color: black;
---index-separator-color: #A0A0A0;
+--index-odd-item-bg-color: #e0e0e0;
+--index-even-item-bg-color: #ffffff;
+--index-header-color: #000000;
+--index-separator-color: #a0a0a0;
 
 /* header */
---header-background-color: #F9FAFC;
---header-separator-color: #C4CFE5;
+--header-background-color: #e0e0e0;
+--header-separator-color: #c0c0e0;
 --header-gradient-image: url('nav_h.png');
---group-header-separator-color: #879ECB;
---group-header-color: #354C7B;
---inherit-header-color: gray;
+--group-header-separator-color: #8080c0;
+--group-header-color: #204060;
+--inherit-header-color: #808080;
 
---footer-foreground-color: #2A3D61;
+--footer-foreground-color: #202060;
 --footer-logo-width: 104px;
---citation-label-color: #334975;
---glow-color: cyan;
+--citation-label-color: #204060;
+--glow-color: #00ffff;
 
---title-background-color: white;
---title-separator-color: #5373B4;
---directory-separator-color: #9CAFD4;
---separator-color: #4A6AAA;
+--title-background-color: #ffffff;
+--title-separator-color: #4060a0;
+--directory-separator-color: #80a0c0;
+--separator-color: #4060a0;
 
---blockquote-background-color: #F7F8FB;
---blockquote-border-color: #9CAFD4;
+--blockquote-background-color: #e0e0e0;
+--blockquote-border-color: #80a0c0;
 
---scrollbar-thumb-color: #9CAFD4;
---scrollbar-background-color: #F9FAFC;
+--scrollbar-thumb-color: #80a0c0;
+--scrollbar-background-color: #e0e0e0;
 
---icon-background-color: #728DC1;
---icon-foreground-color: white;
+--icon-background-color: #6080c0;
+--icon-foreground-color: #ffffff;
 --icon-doc-image: url('doc.svg');
 --icon-folder-open-image: url('folderopen.svg');
 --icon-folder-closed-image: url('folderclosed.svg');
 
 /* brief member declaration list */
---memdecl-background-color: #F9FAFC;
---memdecl-separator-color: #DEE4F0;
+--memdecl-background-color: #e0e0e0;
+--memdecl-separator-color: #c0e0e0;
 --memdecl-foreground-color: #555;
---memdecl-template-color: #4665A2;
+--memdecl-template-color: #4060a0;
 
 /* detailed member list */
---memdef-border-color: #A8B8D9;
---memdef-title-background-color: #E2E8F2;
+--memdef-border-color: #a0a0c0;
+--memdef-title-background-color: #e0e0e0;
 --memdef-title-gradient-image: url('nav_f.png');
---memdef-proto-background-color: #DFE5F1;
---memdef-proto-text-color: #253555;
+--memdef-proto-background-color: #c0e0e0;
+--memdef-proto-text-color: #202040;
 --memdef-proto-text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
---memdef-doc-background-color: white;
+--memdef-doc-background-color: #ffffff;
 --memdef-param-name-color: #602020;
---memdef-template-color: #4665A2;
+--memdef-template-color: #4060a0;
 
 /* tables */
---table-cell-border-color: #2D4068;
---table-header-background-color: #374F7F;
---table-header-foreground-color: #FFFFFF;
+--table-cell-border-color: #204060;
+--table-header-background-color: #204060;
+--table-header-foreground-color: #e0e0e0;
 
 /* labels */
---label-background-color: #728DC1;
---label-left-top-border-color: #5373B4;
---label-right-bottom-border-color: #C4CFE5;
---label-foreground-color: white;
+--label-background-color: #6080c0;
+--label-left-top-border-color: #4060a0;
+--label-right-bottom-border-color: #c0c0e0;
+--label-foreground-color: #ffffff;
 
 /** navigation bar/tree/menu */
---nav-background-color: #F9FAFC;
---nav-foreground-color: #364D7C;
+--nav-background-color: #e0e0e0;
+--nav-foreground-color: #204060;
 --nav-gradient-image: url('tab_b.png');
 --nav-gradient-hover-image: url('tab_h.png');
 --nav-gradient-active-image: url('tab_a.png');
 --nav-gradient-active-image-parent: url("../tab_a.png");
 --nav-separator-image: url('tab_s.png');
 --nav-breadcrumb-image: url('bc_s.png');
---nav-breadcrumb-border-color: #C2CDE4;
+--nav-breadcrumb-border-color: #c0c0e0;
 --nav-splitbar-image: url('splitbar.png');
 --nav-font-size-level1: 13px;
 --nav-font-size-level2: 10px;
 --nav-font-size-level3: 9px;
---nav-text-normal-color: #283A5D;
---nav-text-hover-color: white;
---nav-text-active-color: white;
+--nav-text-normal-color: #202040;
+--nav-text-hover-color: #ffffff;
+--nav-text-active-color: #ffffff;
 --nav-text-normal-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
 --nav-text-hover-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
 --nav-text-active-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
---nav-menu-button-color: #364D7C;
---nav-menu-background-color: white;
---nav-menu-foreground-color: #555555;
+--nav-menu-button-color: #204060;
+--nav-menu-background-color: #ffffff;
+--nav-menu-foreground-color: #404040;
 --nav-menu-toggle-color: rgba(255, 255, 255, 0.5);
---nav-arrow-color: #9CAFD4;
---nav-arrow-selected-color: #9CAFD4;
+--nav-arrow-color: #80a0c0;
+--nav-arrow-selected-color: #80a0c0;
 
 /* table of contents */
---toc-background-color: #F4F6FA;
---toc-border-color: #D8DFEE;
---toc-header-color: #4665A2;
+--toc-background-color: #e0e0e0;
+--toc-border-color: #c0c0e0;
+--toc-header-color: #4060a0;
 --toc-down-arrow-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' version='1.1' height='10px' width='5px' fill='grey'><text x='0' y='5' font-size='10'>&%238595;</text></svg>");
 
 /** search field */
---search-background-color: white;
---search-foreground-color: #909090;
+--search-background-color: #ffffff;
+--search-foreground-color: #808080;
 --search-magnification-image: url('mag.svg');
 --search-magnification-select-image: url('mag_sel.svg');
---search-active-color: black;
---search-filter-background-color: #F9FAFC;
---search-filter-foreground-color: black;
---search-filter-border-color: #90A5CE;
---search-filter-highlight-text-color: white;
---search-filter-highlight-bg-color: #3D578C;
---search-results-foreground-color: #425E97;
---search-results-background-color: #EEF1F7;
---search-results-border-color: black;
+--search-active-color: #000000;
+--search-filter-background-color: #e0e0e0;
+--search-filter-foreground-color: #000000;
+--search-filter-border-color: #80a0c0;
+--search-filter-highlight-text-color: #ffffff;
+--search-filter-highlight-bg-color: #204080;
+--search-results-foreground-color: #404080;
+--search-results-background-color: #e0e0e0;
+--search-results-border-color: #000000;
 --search-box-shadow: inset 0.5px 0.5px 3px 0px #555;
 
 /** code fragments */
 --code-keyword-color: #008000;
 --code-type-keyword-color: #604020;
---code-flow-keyword-color: #E08000;
+--code-flow-keyword-color: #e08000;
 --code-comment-color: #800000;
 --code-preprocessor-color: #806020;
 --code-string-literal-color: #002080;
 --code-char-literal-color: #008080;
---code-xml-cdata-color: black;
---code-vhdl-digit-color: #FF00FF;
+--code-xml-cdata-color: #000000;
+--code-vhdl-digit-color: #e000e0;
 --code-vhdl-char-color: #000000;
---code-vhdl-keyword-color: #700070;
---code-vhdl-logic-color: #FF0000;
---code-link-color: #4665A2;
---code-external-link-color: #4665A2;
---fragment-foreground-color: black;
---fragment-background-color: #FBFCFD;
---fragment-border-color: #C4CFE5;
---fragment-lineno-border-color: #00FF00;
---fragment-lineno-background-color: #E8E8E8;
---fragment-lineno-foreground-color: black;
---fragment-lineno-link-fg-color: #4665A2;
---fragment-lineno-link-bg-color: #D8D8D8;
---fragment-lineno-link-hover-fg-color: #4665A2;
---fragment-lineno-link-hover-bg-color: #C8C8C8;
---tooltip-foreground-color: black;
---tooltip-background-color: white;
---tooltip-border-color: gray;
+--code-vhdl-keyword-color: #600060;
+--code-vhdl-logic-color: #e00000;
+--code-link-color: #4060a0;
+--code-external-link-color: #4060a0;
+--fragment-foreground-color: #000000;
+--fragment-background-color: #e0e0e0;
+--fragment-border-color: #c0c0e0;
+--fragment-lineno-border-color: #00e000;
+--fragment-lineno-background-color: #e0e0e0;
+--fragment-lineno-foreground-color: #000000;
+--fragment-lineno-link-fg-color: #4060a0;
+--fragment-lineno-link-bg-color: #c0c0c0;
+--fragment-lineno-link-hover-fg-color: #4060a0;
+--fragment-lineno-link-hover-bg-color: #c0c0c0;
+--tooltip-foreground-color: #000000;
+--tooltip-background-color: #ffffff;
+--tooltip-border-color: #808080;
 --tooltip-doc-color: grey;
---tooltip-declaration-color: #006318;
---tooltip-link-color: #4665A2;
---tooltip-shadow: 1px 1px 7px gray;
+--tooltip-declaration-color: #006000;
+--tooltip-link-color: #4060a0;
+--tooltip-shadow: 1px 1px 7px #808080;
 --fold-line-color: #808080;
 --fold-minus-image: url('minus.svg');
 --fold-plus-image: url('plus.svg');
@@ -175,155 +175,155 @@ html {
     color-scheme: dark;
 
 /* page base colors */
---page-background-color: black;
---page-foreground-color: #C9D1D9;
---page-link-color: #90A5CE;
---page-visited-link-color: #A3B4D7;
+--page-background-color: #000000;
+--page-foreground-color: #c0c0c0;
+--page-link-color: #80a0c0;
+--page-visited-link-color: #a0a0c0;
 
 /* index */
---index-odd-item-bg-color: #0B101A;
---index-even-item-bg-color: black;
---index-header-color: #C4CFE5;
---index-separator-color: #334975;
+--index-odd-item-bg-color: #000000;
+--index-even-item-bg-color: #000000;
+--index-header-color: #c0c0e0;
+--index-separator-color: #204060;
 
 /* header */
---header-background-color: #070B11;
---header-separator-color: #141C2E;
+--header-background-color: #000000;
+--header-separator-color: #000020;
 --header-gradient-image: url('nav_hd.png');
---group-header-separator-color: #283A5D;
---group-header-color: #90A5CE;
---inherit-header-color: #A0A0A0;
+--group-header-separator-color: #202040;
+--group-header-color: #80a0c0;
+--inherit-header-color: #a0a0a0;
 
---footer-foreground-color: #5B7AB7;
+--footer-foreground-color: #4060a0;
 --footer-logo-width: 60px;
---citation-label-color: #90A5CE;
---glow-color: cyan;
+--citation-label-color: #80a0c0;
+--glow-color: #00ffff;
 
---title-background-color: #090D16;
---title-separator-color: #354C79;
---directory-separator-color: #283A5D;
---separator-color: #283A5D;
+--title-background-color: #000000;
+--title-separator-color: #204060;
+--directory-separator-color: #202040;
+--separator-color: #202040;
 
---blockquote-background-color: #101826;
---blockquote-border-color: #283A5D;
+--blockquote-background-color: #000020;
+--blockquote-border-color: #202040;
 
---scrollbar-thumb-color: #283A5D;
---scrollbar-background-color: #070B11;
+--scrollbar-thumb-color: #202040;
+--scrollbar-background-color: #000000;
 
---icon-background-color: #334975;
---icon-foreground-color: #C4CFE5;
+--icon-background-color: #204060;
+--icon-foreground-color: #c0c0e0;
 --icon-doc-image: url('docd.svg');
 --icon-folder-open-image: url('folderopend.svg');
 --icon-folder-closed-image: url('folderclosedd.svg');
 
 /* brief member declaration list */
---memdecl-background-color: #0B101A;
---memdecl-separator-color: #2C3F65;
+--memdecl-background-color: #000000;
+--memdecl-separator-color: #202060;
 --memdecl-foreground-color: #BBB;
---memdecl-template-color: #7C95C6;
+--memdecl-template-color: #6080c0;
 
 /* detailed member list */
---memdef-border-color: #233250;
---memdef-title-background-color: #1B2840;
+--memdef-border-color: #202040;
+--memdef-title-background-color: #002040;
 --memdef-title-gradient-image: url('nav_fd.png');
---memdef-proto-background-color: #19243A;
---memdef-proto-text-color: #9DB0D4;
+--memdef-proto-background-color: #002020;
+--memdef-proto-text-color: #80a0c0;
 --memdef-proto-text-shadow: 0px 1px 1px rgba(0, 0, 0, 0.9);
---memdef-doc-background-color: black;
---memdef-param-name-color: #D28757;
---memdef-template-color: #7C95C6;
+--memdef-doc-background-color: #000000;
+--memdef-param-name-color: #c08040;
+--memdef-template-color: #6080c0;
 
 /* tables */
---table-cell-border-color: #283A5D;
---table-header-background-color: #283A5D;
---table-header-foreground-color: #C4CFE5;
+--table-cell-border-color: #202040;
+--table-header-background-color: #202040;
+--table-header-foreground-color: #c0c0e0;
 
 /* labels */
---label-background-color: #354C7B;
---label-left-top-border-color: #4665A2;
---label-right-bottom-border-color: #283A5D;
---label-foreground-color: #CCCCCC;
+--label-background-color: #204060;
+--label-left-top-border-color: #4060a0;
+--label-right-bottom-border-color: #202040;
+--label-foreground-color: #c0c0c0;
 
 /** navigation bar/tree/menu */
---nav-background-color: #101826;
---nav-foreground-color: #364D7C;
+--nav-background-color: #000020;
+--nav-foreground-color: #204060;
 --nav-gradient-image: url('tab_bd.png');
 --nav-gradient-hover-image: url('tab_hd.png');
 --nav-gradient-active-image: url('tab_ad.png');
 --nav-gradient-active-image-parent: url("../tab_ad.png");
 --nav-separator-image: url('tab_sd.png');
 --nav-breadcrumb-image: url('bc_sd.png');
---nav-breadcrumb-border-color: #2A3D61;
+--nav-breadcrumb-border-color: #202060;
 --nav-splitbar-image: url('splitbard.png');
 --nav-font-size-level1: 13px;
 --nav-font-size-level2: 10px;
 --nav-font-size-level3: 9px;
---nav-text-normal-color: #B6C4DF;
---nav-text-hover-color: #DCE2EF;
---nav-text-active-color: #DCE2EF;
---nav-text-normal-shadow: 0px 1px 1px black;
+--nav-text-normal-color: #a0c0c0;
+--nav-text-hover-color: #c0e0e0;
+--nav-text-active-color: #c0e0e0;
+--nav-text-normal-shadow: 0px 1px 1px #000000;
 --nav-text-hover-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
 --nav-text-active-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
---nav-menu-button-color: #B6C4DF;
---nav-menu-background-color: #05070C;
---nav-menu-foreground-color: #BBBBBB;
+--nav-menu-button-color: #a0c0c0;
+--nav-menu-background-color: #000000;
+--nav-menu-foreground-color: #a0a0a0;
 --nav-menu-toggle-color: rgba(255, 255, 255, 0.2);
---nav-arrow-color: #334975;
---nav-arrow-selected-color: #90A5CE;
+--nav-arrow-color: #204060;
+--nav-arrow-selected-color: #80a0c0;
 
 /* table of contents */
---toc-background-color: #151E30;
---toc-border-color: #202E4A;
---toc-header-color: #A3B4D7;
+--toc-background-color: #000020;
+--toc-border-color: #202040;
+--toc-header-color: #a0a0c0;
 --toc-down-arrow-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' version='1.1' height='10px' width='5px'><text x='0' y='5' font-size='10' fill='grey'>&%238595;</text></svg>");
 
 /** search field */
---search-background-color: black;
---search-foreground-color: #C5C5C5;
+--search-background-color: #000000;
+--search-foreground-color: #c0c0c0;
 --search-magnification-image: url('mag_d.svg');
 --search-magnification-select-image: url('mag_seld.svg');
---search-active-color: #C5C5C5;
---search-filter-background-color: #101826;
---search-filter-foreground-color: #90A5CE;
---search-filter-border-color: #7C95C6;
---search-filter-highlight-text-color: #BCC9E2;
---search-filter-highlight-bg-color: #283A5D;
---search-results-background-color: #101826;
---search-results-foreground-color: #90A5CE;
---search-results-border-color: #7C95C6;
+--search-active-color: #c0c0c0;
+--search-filter-background-color: #000020;
+--search-filter-foreground-color: #80a0c0;
+--search-filter-border-color: #6080c0;
+--search-filter-highlight-text-color: #a0c0e0;
+--search-filter-highlight-bg-color: #202040;
+--search-results-background-color: #000020;
+--search-results-foreground-color: #80a0c0;
+--search-results-border-color: #6080c0;
 --search-box-shadow: inset 0.5px 0.5px 3px 0px #2F436C;
 
 /** code fragments */
---code-keyword-color: #CC99CD;
---code-type-keyword-color: #AB99CD;
---code-flow-keyword-color: #E08000;
---code-comment-color: #717790;
---code-preprocessor-color: #65CABE;
---code-string-literal-color: #7EC699;
---code-char-literal-color: #00E0F0;
---code-xml-cdata-color: #C9D1D9;
---code-vhdl-digit-color: #FF00FF;
---code-vhdl-char-color: #C0C0C0;
---code-vhdl-keyword-color: #CF53C9;
---code-vhdl-logic-color: #FF0000;
---code-link-color: #79C0FF;
---code-external-link-color: #79C0FF;
---fragment-foreground-color: #C9D1D9;
---fragment-background-color: black;
---fragment-border-color: #30363D;
---fragment-lineno-border-color: #30363D;
---fragment-lineno-background-color: black;
---fragment-lineno-foreground-color: #6E7681;
---fragment-lineno-link-fg-color: #6E7681;
---fragment-lineno-link-bg-color: #303030;
---fragment-lineno-link-hover-fg-color: #8E96A1;
---fragment-lineno-link-hover-bg-color: #505050;
---tooltip-foreground-color: #C9D1D9;
+--code-keyword-color: #c080c0;
+--code-type-keyword-color: #a080c0;
+--code-flow-keyword-color: #e08000;
+--code-comment-color: #606080;
+--code-preprocessor-color: #60c0a0;
+--code-string-literal-color: #60c080;
+--code-char-literal-color: #00e0e0;
+--code-xml-cdata-color: #c0c0c0;
+--code-vhdl-digit-color: #e000e0;
+--code-vhdl-char-color: #c0c0c0;
+--code-vhdl-keyword-color: #c040c0;
+--code-vhdl-logic-color: #e00000;
+--code-link-color: #60c0e0;
+--code-external-link-color: #60c0e0;
+--fragment-foreground-color: #c0c0c0;
+--fragment-background-color: #000000;
+--fragment-border-color: #202020;
+--fragment-lineno-border-color: #202020;
+--fragment-lineno-background-color: #000000;
+--fragment-lineno-foreground-color: #606080;
+--fragment-lineno-link-fg-color: #606080;
+--fragment-lineno-link-bg-color: #202020;
+--fragment-lineno-link-hover-fg-color: #8080a0;
+--fragment-lineno-link-hover-bg-color: #404040;
+--tooltip-foreground-color: #c0c0c0;
 --tooltip-background-color: #202020;
---tooltip-border-color: #C9D1D9;
---tooltip-doc-color: #D9E1E9;
---tooltip-declaration-color: #20C348;
---tooltip-link-color: #79C0FF;
+--tooltip-border-color: #c0c0c0;
+--tooltip-doc-color: #c0e0e0;
+--tooltip-declaration-color: #20c040;
+--tooltip-link-color: #60c0e0;
 --tooltip-shadow: none;
 --fold-line-color: #808080;
 --fold-minus-image: url('minusd.svg');
@@ -1524,49 +1524,49 @@ dl.note {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #D0C000;
+  border-color: #c0c000;
 }
 
 dl.warning, dl.attention {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #FF0000;
+  border-color: #e00000;
 }
 
 dl.pre, dl.post, dl.invariant {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #00D000;
+  border-color: #00c000;
 }
 
 dl.deprecated {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #505050;
+  border-color: #404040;
 }
 
 dl.todo {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #00C0E0;
+  border-color: #00c0e0;
 }
 
 dl.test {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #3030E0;
+  border-color: #2020e0;
 }
 
 dl.bug {
   margin-left: -7px;
   padding-left: 3px;
   border-left: 4px solid;
-  border-color: #C08050;
+  border-color: #c08040;
 }
 
 dl.section dd {