Delete remnants of row subtyping (inference/unifier.ml)