Setup hook to change the unification algorithm used by evarconv,
e.g. for MTac.