Add Tag and Branches intro and elim rules.