Added warden to Eval::value, and changed ArgList from a std::vector to an ordinary array.