Make Rebinder accept slightly less normalised programs.
Remove unused parameters when fusing.

Specifically, whenever doing producer-consumer fusion, the producer
first has all non-used parameters (and corresponding inputs) removed.