finish arithmetic part of matcher language, and thus the whole thing

or so i hope, anyway