Approximation Theorems for intersection type systems