further updates to type_issues