[Type] Processor: add support for HasIntersection

[marcj]

export type HasIntersection<T, U> = [T & U] extends [never] ? T : U;