update typing rules