Refactor how several logic forms evaluate

add, mult, pow, ainvert, minvert, set, and get now do type checking.

add, mult, pow, ainvert, and minvert have their work inlined rather
than calling methods on the number object.
Rename keval to eval
TODO: throw an error when a getting from a table fails