We also have to redeclare lambda and mu as binders.  Program tricky-2.lambda shows why.
