Progress on #137
Progress on #137
Fixup assertions to be more generic...

So they'll also work for generic web services
progress on #137
compileit
checkin the arbitrary nesting version...
simple and i think good enough
progress, about to close the loop, maybe...
progress on #137

proof gen mechanics
progress on #137

it's getting pretty hairy!
filter normalization through...
get it to run
Bugfixes; progress on #137

Status appears to spit out the right answer...
more bugfixes
Progress on #137
progress on generic web site proofs
progress ongoing
Progress on #137
Working! Big progress on #137
Lots of progress on #137