Typing_rules