Currently, weak lists are implemented as a special object around an ordinary list which can be extracted via the `weak-list-list' procedure. This exposes the internal representation of weak lists to a degree so as to make proper generic handling in the GC difficult, so we'd like to discuss changing it. The simplest way to implement weak lists would be to just make them a regular cons of a weak pointer (a more primitive object) and a weak list, and have special accessors `weak-list-car' and `weak-list-cdr'. `weak-list-car' looks for a live list cons, and performs some cleanup work on the way. Possibly another thin layer above this for looping would get us even further.