Added ADSAxiomaticStack to replace AlgebraicADSStack
Removed deprecated AlgebraicADSStack