Random refinement, enough to compile eg/bits.tamsin.