abstraction: use new type representation

...bstraction/src/abstraction/AnyaryOperationAbstraction.hpp

...2abstraction/src/abstraction/NaryOperationAbstraction.hpp

alib2abstraction/src/abstraction/OperationAbstraction.cpp

alib2abstraction/src/abstraction/OperationAbstraction.hpp

alib2abstraction/src/abstraction/PackingAbstraction.hpp

alib2abstraction/src/abstraction/RawAbstraction.hpp

alib2abstraction/src/abstraction/Value.cpp

alib2abstraction/src/abstraction/Value.hpp

alib2abstraction/src/abstraction/ValueHolder.hpp

alib2abstraction/src/abstraction/ValueHolderInterface.hpp

...abstraction/src/abstraction/ValueOperationAbstraction.cpp

...abstraction/src/abstraction/ValueOperationAbstraction.hpp

alib2abstraction/src/abstraction/WrapperAbstraction.cpp

alib2abstraction/src/abstraction/WrapperAbstraction.hpp

alib2abstraction/src/alib/array

alib2abstraction/src/alib/bitset

alib2abstraction/src/alib/deque

alib2abstraction/src/alib/functional

alib2abstraction/src/alib/linear_set

alib2abstraction/src/alib/list