construction of an ArithmeticalDSS as a DSL subsegment

done