pub type Constraint = (String, Vec<CommandArg>);
A single constraint command: name and its typed arguments.