Please, make REPL print some useful depth

Currently, REPL by default is in lazy mode.
Strict mode prints too much.

Normally REPL should print the sane number of levels, something between 2-6.

Also strict probably should use `normalizeValue`, not `normalForm`.

Maybe distinguish thunk and cycke or just replace the `<CYCLE>` with honest `<THUNK>`.