Some cases of the interpreter may be simplifiable

[Pierre GOUTAGNY]

As discussed with @AltGr and @denismerigoux it looks like some of the cases of evaluate_expr in the interpreter are "rebuilt" (perhaps as an artefact of a past version), but can now be simplified.
When replacing with -> e the code for cases EAbs _, ELit _, and EEmptyError, all tests keep passing.