Taken as value analysis

[Reid D McKenzie]

This is going to be a forwards flowing dataflow analysis which attempts to determine what vars are ever taken as rvalues rather than as invoke targets. This transformation will enable fns which are never taken as values to be inlined and be omitted from the var binding unless they are part of the user defined API.