condenses the Fraction and Radical Modules into one ExpressionModule. Modified specs and imports accordingly.