revised Expr
added tests for fraction operators
refactoring around Expr
sorted symbol order
sorted symbol order