ICP1: series 3, exercise 7

Adjusts the amb evaluator to have a permanent set! as described in
exercise 7 of series 3. Should not break anything else so no worries on
that front.