Back to fixed evaluators, but only putting constants in so works for
example 9 and instances.