Tweak %error_reverse heuristic
Tweak %error_reverse heuristic

If not given explicitly, but just taken from an %error_reverse on a
type, only add a rule to reverse normalisation if the RHS of the rule is
no bigger than the LHS of the rule

kojiromike/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,jmitchell/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,eklavya/Idris-dev,jmitchell/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,ben-schulz/Idris-dev,ben-schulz/Idris-dev,eklavya/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,bravit/Idris-dev,jmitchell/Idris-dev,ben-schulz/Idris-dev,jmitchell/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,ben-schulz/Idris-dev,kojiromike/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,markuspf/Idris-dev,bravit/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,jmitchell/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,jmitchell/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev