[Types-sig] New article + demo

[Just van Rossum]

I've added two graphs (technically: Dumb Art Graphs) to the article. They
prove either:

    - that I'm wrong, since they show that my scheme is just
      as complex as one which does have "real" metaclasses.

    - that I'm right, in sofar that my scheme is equivalent to
      one which does have "real" metaclasses.

Or both. ;-)

Still at:
     http://starship.skyport.net/~just/meta/

Just