checkers.interning.quals
Annotation Types 
Interned
PolyInterned