The most recent changes are at the top of this file. 2008 02 20 Completed rewrite. New version released to Hackage. Works correctly in GHC 6.8.2. Now permits arbitrarily complex session types with mixed branching and looping.