WYRL: updated the arithmetic example so that it could compile --- however, it doesn't yet because I need to handle inferences better I think.