That is the problem though, DSLs always end up becoming turing complete, because there is always that use case they don't cover.