ガッツリリファクタリング
準同型集合に変更
integerフィルタを追加
準線形集合の導入とAbstInt::Collectionの実装