types reinstated for shift from typed -> types.*