Added symbolic_vector_base and corresponding operator+
added is_base_of