Implemented antisymmetry for compatibility in order to recognize equivalent clauses. This resolves tdidriksen/Idris-dev#22, hopefully.