natCmp implemented, natGt added
subtraction for Nat
comparison operators for Nat rewritten
natDivMod implemented
integers completed
implementation of functions on Rat
reduction to lowest terms for Rat