-Fixed the equality function of the Choice symbol.
-Removed dead code from the Alternative class.