distinguish between boolean flags and options with expected arguments via option descriptions, and refactor SynonymDefault type to use record syntax