[project @ 1998-04-30 19:44:49 by sof]

[project @ 1998-04-30 19:44:49 by sof]
When floating in, we have to be careful not to float a specialisation
of a binder past a use of that binder that may later be simplified to
use the specialised version that just floated past (and out of scope.)

Kludgily fix this by including the idSpecVars of a Var in its free
variable set.