Initial version of equivalence relation data type