* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders

* writer command design

* dune build with shared core lib

* port c lib project inside ocaml

* os specific dynamic link

* fix project name on flake

* fix: cmake cxx version breaking merklecpp

* finish write to disk and update maps func

* add non atomic commit to transaction graph

* merkle tree binding for generating root hash

* disk module refactor

---------

Co-authored-by: Renan Lopes <renans.l@icloud.com>