add initial optimization pass that performs type analysis and floating
add initial optimization pass that performs type analysis and floating

darcs-hash:ed20adc0493f14454c87bcd3fbc3bb2da6dd0728

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc