Moved Int and RatNum to their own implementation.

Algebra now just has the typeclass implementations, for use in further applications.