Typing_rule loading ...