Fix WHNF of Let and recognize negative integers

* src/lexer.ml (nexttoken): Recognize negative integer.

* src/opslexp.ml (lexp_whnf): Really return WHNF for `Let`.

* tests/eval_test.ml ("Let"): Use negative integer, to test them.
("Lists"): Add tests using a different definition of List.