Abstraction: general redesign

alib2abstraction/src/abstraction/AlgorithmAbstraction.hpp

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

alib2abstraction/src/abstraction/CastAbstraction.hpp

alib2abstraction/src/abstraction/MemberAbstraction.hpp

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

alib2abstraction/src/abstraction/NormalizeAbstraction.hpp

alib2abstraction/src/abstraction/OperationAbstraction.hpp

alib2abstraction/src/abstraction/PackingAbstraction.hpp

alib2abstraction/src/abstraction/SetAbstraction.hpp

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

alib2abstraction/src/abstraction/ValuePrinterAbstraction.hpp

alib2abstraction/src/abstraction/ValueProvider.hpp

alib2abstraction/src/abstraction/WrapperAbstraction.hpp

alib2abstraction/src/common/AbstractionHelpers.hpp

alib2abstraction/src/common/AlgorithmHelper.cpp

alib2abstraction/src/common/CastHelper.cpp

alib2cli/src/ast/statements/ContainerStatement.cpp

alib2cli/src/ast/statements/FileStatement.cpp

alib2cli/src/ast/statements/ResultFileStatement.h

alib2cli/src/ast/statements/ResultPrintStatement.h