Wed Aug 19 20:03:57 CEST 2009

Lowhanging fruit

- dip

- map

- linear lists (partial continuations) should not be recognized by
  `run' -> use `run-list' or so.

Map: This can't be a primitive, but I prefer to make it fast (local),
which could be done by modifying the continuation from the primitive.

It needs 3 storage locations: in out fn

  - move result to OUT
  - replace with next from IN
  - push FN to K

What I really need is a better way to express all these stack

Dip: there's a problem here: quote isn't a linear atom, so it should
be handled by undip.