Tighted type restrictions