Relaxed the type of labels inside terms that are being evaluated.