use the new compset fragments in combin,pair,finite_map
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.
Merge remote-tracking branch 'origin/master' into Word8Array