Adds an evaluator for a pure subset of language.