Function intersection_kind 

pub fn intersection_kind(kinds: Vec<TypeKind>) -> TypeKind

Creates a TypeKind representing an intersection of the given types.