Unif: equality up to substitution implemented
fix Unif.Unary.eq