Use the smart constructor mkNote instead of the dumb constructor
(Note) when rebuilding the expression after eta expansion.  This is
necessary to avoid invalidating some assumptions we make about the
output of etaExpand in CorePrep, in particular that there aren't any
lambda expressions inside an SCC note.