wip
Implement addition machine operator.

Fix binary operator expansion and substitution.