Added tests and code for Either equality constraints. Noticed Nothing
doesn't work, which unfortunately can't be recast as Everything works.