reinstate eta-expansion during SimplGently, to fix inlining of sequence_