I have released the latest version of Church-State here:
You can also get the source code via mercurial:
hg clone http://subvert-the-dominant-paradigm.net/repos/hgwebdir.cgi/bootstrap/
or browse it.
In the previous version of Church loop constructs were expanded in the Church compiler directly to the State “tagbody” form. I have removed this code and implemented it as a Church macro which expands to a new Church “tagbody” form.
The aim behind this is to make it easier to do optimization and flow analysis on Church code in the future.