make valuation depend on environment
add environment to arguments of builtins
define builtins for math functions