Evaluate plus/minus/mult/div operations
Eliminate warning (redundand import)
Move out expression evaluating realted functions to separate module
Eliminate warnings on pattern matching
Introduce stub Eval monad