actually needs is a more intelligent register allocator. So, remove the type inference.
inference routine to propagate information about floats up the tree, so we know whether to put floats into special registers as early as possible.
compilation (so you can refer to them).