Sun Dec 6 11:02:46 CET 2009


- Unified objects (integers as leaf objects)
- Data sharing and reference counts

RC: if there is a necessity to create circular data structures, it's
probably prudent to contain those locally, i.e. wrap them in a
non-circular structure.

It's probably necessary to equip each object with a reference count
and a `final' flag.  The latter is necessary because there is
otherwise no guarantee that a multi-owned object will remain constant.