Index Type. Independent Type Design and Research — in the Making