re-written Sexp (in misc) to resemble sexplib