Rewrite config.ml to use the new combinator API