Started simplification, compartmentalized
Numbers are now in their own module and instances of Num and Fractional
Started making simplification rules