Sat Feb 2 22:43:49 CET 2013


- Support both float and int.  Should be simple with the time inf.

- Add more generic fold-map.  The issue here is to solve the
  "auto-lift".  It might indeed be best to solve it, meaning to do
  explicit dereferencing read and store.

- Const is not well-defined