Completed Section on Binary Rule, T, Substitution Rule

PDF, LaTeX.

I reordered the logic of the proofs and included the proof that the crystal satisfies the Binary Rule, according to David's comments in the post below. One thing that needs to be decided on is which Binary Rule to prove (regular or rotated?) and then after proving it for one, how to show that it holds for the other. We had a sketch of how to do this in the problem set writeup, but that argument used T^kC stuff (which currently follows my section on the Binary Rule).