Add `ltePlus` and `lteMult` to contrib.
Add `ltePlus` and `lteMult` to contrib.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev