when floating inward, seperate dupable binds from undupable ones. perform floating inward pass right after floating outward to get rid of spurious bindings, make sure all names floated to the top level are unique.
when floating inward, seperate dupable binds from undupable ones. perform floating inward pass right after floating outward to get rid of spurious bindings, make sure all names floated to the top level are unique.

darcs-hash:20060322234301-1a7c6-52ab042994840695a385f3a91af2f076670d3900

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc