Package for the abstract evaluation results, i.e. atomic term values.