kernel: Vocab, Celebration and Temporal parametric types

Rite specificity is carried by type parameters plus a vocab record of
operations rather than by functors: the same guarantee that a rite cannot name
another rite's season, without threading module plumbing through every kernel
module. Celebration takes only the rank parameter, since it has no season
field and OCaml rejects a type variable that appears in no field.

1 files changed, 3 insertions, 1 deletions

diff --git a/test/dune b/test/dune
index 3d8fa59..34f5888 100644
--- a/test/dune
+++ b/test/dune
@@ -1,6 +1,8 @@
 (test
  (name test_colitur)
- (libraries colitur_kernel alcotest qcheck qcheck-alcotest sexplib))
+ (libraries colitur_kernel alcotest qcheck qcheck-alcotest sexplib)
+ (preprocess
+  (pps ppx_sexp_conv)))
 
 (cram
  (deps %{bin:colitur}))