Informal spec on Types and Type Registries - soliciting comments