Fri Oct 14 12:04:20 EDT 2011

DSPM : interpretation

Main problem: bind a function in SSA form to memory references:

Do this as part of 1 interpretation, not for the language (syntax): it
should remain pure.

Some simplifications to get it to run as quickly as possible:

  - Use type annotations, but use float only in ExprM.

  - Ints will just be part of the representation of one of the
    interpretations of ExprM (as loops over IO buffers).