wrote compareVar
wrote evalPred, and expanded the comments concerning the Predicate type.