typing rules