Test adding a type with instances