Eq, Ord: preliminary code.