comment on code extraction
add my funding to acknowledgements
citation for reduction semantics
change the semantics of accumulations once more

The semantics is now such that: acc f l z = f ( .. (f/1-l (z/-l)) .. )

That is, accumulations fold over the past (but still forwards in time).