Eta-expand contexts in Simple too.

This makes it sure that unrolling the metavariable arguments is
effective.