commit: type bounds, covariance, decomposition and pattern matching
commit: new class of IntSet