Create readme
Move generic symbolic expressions to Expr.hs