Added ring instance for Euclidean.hs