STUDIES ON TYPES