Implement parsing for a few binary expressions

This started going a lot faster after I had a chance to sit down and explain
some of this to @butzopower. It's starting to gel in my mind.
Update README