POST to PIR transformation

Simply walk the POST data structure and emit PIR statements

Pheme and punie use TGE for this final transformation ...

• ... I decided it was easier to just walk the POST tree for now.