progress report

[John M. Dlugosz]

I've identified a few more issues while refactoring the text across all 
the synopses, but I'm just noting everything in my document.  Not enough 
discussion going on to post them all.

My main creative effort is in studying type systems, and musing over 
what it would be like to have Perl 6's type system to be F-bounds 
specified subtyping.  According to Anthony Simons, no one has ever 
completely implemented it before.  I think Perl is a language that 
=could= do it, with its mixture of helpful typing and lax non-typing.  
Can't get a strict subtype defined properly?  Forget about it and just 
use Any.

--John