Но смотри, нат это по сути как фаервол, в том смысле что если не будет сессии в таблице трансляций то трафик до конечного хоста не дойдёт, тоже и с фаерволом, просто у него другая таблица
Если политику формирования таблицы трансляций взять от файрволла... получится stateful файрволл. Причем тут именно трансляция адресов только непонятно.