Remove futures.
Fix bug in flx_reparent.ml.
transient specialisation cache

no longer has ts list entries.