Right now the generator for type banks only includes types that are declared. Though it should also handle types that aren't declared, like TimeSpan and DateTime for example.
And so if type banks include those the type registry needs to be able to handle trying to register the same type more than once.