Interim commit with an initial cut at new equality algorithms.  Completely untested yet; hasn't even been built.