More sexp representations

Config is sexpable, in particular.