Begin higher-order unification.