Tameness and the power of programs over monoids in DA (Logical Methods in Computer Science, 2022)