WYRL: making good progress with the arithmetic example.  Still need to handle equality and not equals.  Also, would be nice to factor it more.