added implementation for insert, determining how to check whether one AbstractionSet contains another