make the definition of the first sexpr example more explicit
split the single-arg and multi-arg sexp functions into two parts, so that we can explain the more complex List example separately

for ocamllabs/rwo-comments#2070