SI-5089 update definition implicit scope in terms of parts of a type

add note that implicits in package objects are not a good idea