structured, hierarchical log system for OCaml