MERGE TO STABLE (once I"ve checked it works)

The dictionary-floating code in Specialise wasn't taking 
variables free in the RULES into account, which resulted in
such variables perhaps going out of scope.