Add more instances for Solo

Oleg Grenrus pointed out that Solo was missing Eq, Ord, Bounded, Enum, and Ix instances, which were all apparently available for the OneTuple type (in the OneTuple package). Though only the first three really seem useful, there's no reason not to take them all. For Ix, Solo naturally fills a gap between () and (,).