AbstractTransformer #1543: mark declarations refining erased declarations as widening
AbtractTransformer #1543: in the case of refinement, try to find the refined declaration Java will look for

not the topmost one. So that we don't miss intermediate widenings
AbstractTransformer #1543: record erasure as determined by the boxing visitors
Fix for #1543: use raw types for actual method/attributes where the type is erased
ClassTransformer: no annotations on impl attributes
Updated test .src due to #1543: two issues with method type refinement to tuple type
Test for #1543: two issues with method type refinement to tuple type