Update the typing rules document w/ bidirectionality, more rules