1 * PCursor -> Pointer_cursor / PointerCursor ?
3 * efficient copy cons for List
13 * use template handle in handle.hh for strings.
15 * Restricted cursor/list: make sublist from a list, and use rcursor
16 as if list is as big as the sublist.
18 * move towards gnu or STL?