I have modified the proposal in light of Mark's example. The only change is
that the Disposable interface is no longer parameterized. This eliminates
the incompatibility noted by Neal; so far as I know, the revised proposal
introduces no incompatibilities. It can be found here:
http://docs.google.com/Doc?id=ddv8ts74_0vnstdfdh .
Happy reading,
Josh