Partial support for Integrals.

Added a simple Integral Class to Prelude.Classes.idr supporting:

+ div
+ mod

toInteger and other suitable methods need to be decided upon, defined, and implemented.

Instances:

+ Nat uses total functions
+ Int, Integer, Bits8-64 are partial.