Interface TypeRule