void TokenStream::push(const TokenStream& other)
{
std::copy(other.begin(), other.end(), std::back_inserter(tokens));
}
//Converts a number TokenStream into an actual number.
Value convert(const TokenStream& stream)
{
Value result;
convert(stream.begin(), stream.end(), result);
return result;
}