Remove non-anf quoted lists from mceval and boyer
Simplify boyer to not take too much concrete time