Rules to Typing