A structure that provides information to the type system which is used specifically for managing interface types.