freeze/2 and dif/2 now work again

Hadn’t been updated to work with trailed unification.  They work now.