Syntax Objects implemented in OCaml. Based on the paper Macros that Work Together (http://www.eecs.northwestern.edu/~robby/pubs/papers/jfp2012-fcdf.pdf).