Thanks; you confirmed my suspicion. This is not a useful number representation. > When n > numargs, |n|(args...) ignores all its arguments and halts I would s

Thanks; you confirmed my suspicion. This is not a useful number representation. > When n > numargs, |n|(args...) ignores all its arguments and halts I would say it reduces to a term of the form \_. \_. M that is definitely different from both False and True.