+ Types and helper function placed in id_sequences since it's closely
 related to this module, whereas command_def deals with interface
 definition more specifically.
 + The helper function may be generalised to other types than int if
 necessary, though ids are integers and those do not require anything
 else.
 + Indentation and subcommands documentation need to be improved
 + A shorthand for helper function will be applied.