Expressivity of AuDaLa: Turing Completeness and Possible Extensions (Logical Methods in Computer Science, 2026)