.
Eliminate "=\" syntax for recursive definitions.  Instead, we use the "@"
(fixpoint) operator explicitly, which suggests a sort of label for looping.