The current K LAMBDA semantics of mu (in Lesson 8) is based on
substitution, and then letrec is defined as a derived operation using
mu.  Give mu a different semantics, as a derived construct by
translation into other LAMBDA constructs, like we defined letrec in
Lesson 7.
