add

Widens the bounds to include value, if it is of a kind that has one.

Exhaustive with no else, so a kind added to app.oreshkov.rabosh.variant.VariantKind must be given an answer here rather than silently inheriting one.

Widens these bounds to include everything other covers.