Add Eq and Ord instances for (Mat v a)