Add nth in TypeInf
Add section ((op expr) only)

Section of type (expr op) is not implemented
Add error handling in Eval.hs (not complete)

EvalError is converted to TypeError, which is not appropriate.
Introduce SomeError in TypeInf