New: a more compositional handling of command line options