add package check to type mangler