isEvaluated allows checking for expressions that have already been
reduced to weak heaf normal form. This can be useful for racing
computations against one another; if one computation can be shown to
terminate instantly, there's no need to set up any threads for the race.