Add infix_syntax.md.

This is a detailed plan for how we can work with infix operators.