Re-writing Fraction and simplifier