Value function added and interpreter typos fixed

and, useless functions (Joe's (value ex e)) deleted