Если уж совсем придерживаться "букве 61131", то для ANY_BIT не определены операции +/-.

Т.е. запись dword_var := dword_var + 1; уже должна выбрасывать ошибку "невозможно складывать ANY_BIT".
Удобно ли будет так программировать?
Да, по букве закона, но уже наверняка все привыкли dword'ы складывать и вычитать.

Если же "разрешать" и по факту считать это как dword_var := DWORD_TO_UDINT(dword_var) + 1, то результат сложения это UDINT, и нужно разрешать неявное приведение типа UDINT -> DWORD (чтобы не приходилось записывать явно dword_var := TO_DWORD(TO_UDINT(dword_var) + 1); )