Eta-expand contexts also in TwoContexts.