TypeRule -> TypingRule