simplify cons-related functions
move obj_equal to Value::operator ==