Make `divides` views public
Make `divides` views public

so that functions using them can reduce in typechecking
kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev