Add beginnings of local simplification engine.