Add more tests, improve __eq__ method of Symbol