ml_repl_step cheats removed

I realised that sets are used in the inferencer. These
sets really ought to be sptrees or some other binary
trees, since, as it currently stands, HOL sets translate
into functions in CakeML.