Add declarative generator. I should write declarative style more often. Now we have load/store working.