impl for annotated types

[Jonathan Gibbons]

Werner,

How well encapsulated is the code to create instances of javac.code.Type 
that have annotations?  For example, is it always encapsulated within a 
method such as Type.createAnnotatedType, for use like
     Type annoType = type.createAnnotatedType(annos);

As a follow-up, think of this as a thinking-aloud hypothetical question....

Previously, we've considered delegation and subtyping as a way of 
representing annotated types. What if we gave up on the "minimize space" 
requirement and added a List<Attribute.TypeCompound> into each Type?  
How easy would that be?

-- Jon