Support `iCombine "H1 H2 ..." as "Hx"`
It'd be nice if iCombine
supported passing a single string of space-separated hypothesis instead of insisting on two strings, each being a single name. Combining more than two hypothesis would be done by folding.