Sublanguages improvement & Coq experiment (#53)

* 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

1 files changed, 18 insertions, 0 deletions

diff --git a/lib/envelope.ml b/lib/envelope.ml
new file mode 100644
index 0000000..d8404d9
--- /dev/null
+++ b/lib/envelope.ml
@@ -0,0 +1,18 @@
+(** Envelope parser for tagged S-expressions.
+
+    Parses commands of the form (tag payload...) where the tag selects
+    which sublanguage handles the payload. The tag set is open — future
+    sublanguages (tcl, ppl, acl) just add new tags. *)
+
+type tagged = { tag : string; payload : Sexplib.Sexp.t }
+
+let parse (input : string) : (tagged, string) Result.t =
+  match Sexplib.Sexp.of_string input with
+  | Sexplib.Sexp.List (Sexplib.Sexp.Atom tag :: rest) ->
+    let payload = match rest with
+      | [single] -> single
+      | many -> Sexplib.Sexp.List many
+    in
+    Ok { tag; payload }
+  | _ -> Error "expected (tag payload...)"
+  | exception exn -> Error (Printexc.to_string exn)