Finished specialising the unification stuff to ML types.