more typing rules