Start coding the data types for RefPerSys
Again bismon code should be inspirational, notably its types_BM.h
file.
See also libguile/scm.h and Ocaml's Interfacing with C chapter. Look into Ocaml's runtime source code for additional inspiration.
Read also the refpersys-design.pdf document for motivations.