\r
Things to do:\r
\r
+ - SDM (2010-02-26) can we remove the Foreign constructor from Convention?\r
+ Reason: we never generate code for a function with the Foreign\r
+ calling convention, and the code for calling foreign calls is generated\r
\r
- All dataflow analyses are in the FuelMonad, even though they\r
are guarnteed to consume no fuel. This seems silly\r