The road to epsilon-zero: Productive programs and well-founded orders