An implementation of polymorphic lists.  This transcends the
Elf core language and may cease to work in future releases (even
though this is unlikely).

Author: Frank Pfenning
