[bitc-dev] Existentials in BitC - possible extensions

[Jonathan S. Shapiro]

It is possible to imagine a straightforward extension to capsules that
would allow the capsule objects to have fields as well as methods. I
omitted this intentionally, for three reasons:

  1. It really doesn't add any power.
  2. It is awkward, because no reference to the capsule object itself
     is passed to the methods of the capsule object.
  3. It creates an ambiguity, because we would soon want to have
     capsule-only methods.

So I left this out.