add the extensional evaluator to serve as a spec for the semantics based on permutations