update the typing rules