+ - 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
+\r