language module package name
type parameters pointing to other type parameters
resolve type parameter refs for open union/intersections