Add test for updated attribute types in instantiated types