Changed arithmetic functions to symbol macros

Now, the actual names for arithmetic are add, sub, mul, div, and mod. Their
symbol macros are +, -, *, /, and %, respectively.
Extended bool.fl

Moved not from Init.hs to bool.fl, and also added ge and le to bool.fl.

Also extended the todo.txt to talk about implementing a better stack trace at
the evaluation level.