A polymorphic qualifier for the Interning type system.
Any method written using @PolyInterned conceptually has two versions: one
in which every instance of @PolyInterned has been replaced by @Interned, and
one in which every instance of @PolyInterned has been erased.