nitc/typing: isa uses intersect_types and diff_types