renamed sigma Eq and Ord instances
cleaned up Show instance for Sigma