Add decision procedure for Prelude.Nat.LTE