Added a few basic functions for contradiction detection.
Added alter-support function, with the idea that this will eventually be used to trigger contradiction detection, too.