arithmetic regressions fixed. At some point a binary operator
system similar to that in Lana should be added.