Added instances for Rationals, 4-tuples, 5-tuples
More restructuring of modules