Replace unnecessary `StatefulList`s with `ListStates`. Make the number of registers and the size of local memory endless.