A Unification Semi-Algorithm for Intersection TypeSchemes