Lighter interface for creating refining tactics.
Using the new refine interface to define ML tactics.